CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
Dafny verification of Cyclers
Dafny verification of Cyclers
Sep 2022
·
Nathan Fenner
Dependencies:
Cyclers
Formal Verification
Result Reproduction
Details
Reviews
0
Children
0
Edit
Featured Links
Github
https://github.com/Nathan-Fenner/bbchallenge-dafny-deciders/blob/main/cyclers-decider.dfy
Chat about it
https://discord.com/channels/960643023006490684/1028753914503385199
Forum Link
https://discuss.bbchallenge.org/t/decider-cyclers/33/2?u=cosmo