CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
Reproduction, optimization, formal verification of savask's bouncers
Reproduction, optimization, formal verification of savask's bouncers
Sep 2023
·
mei
Dependencies:
busycoq
,
savask's bouncers
Result Reproduction
Decider
Formal Verification
Coq
Details
Reviews
0
Children
2
Edit
Featured Links
Github
https://github.com/meithecatte/busycoq/blob/master/verify/Bouncers.v
Chat about it
https://discord.com/channels/960643023006490684/1028745661459472484
Forum Link
https://discord.com/channels/960643023006490684/1028745661459472484
