CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
Cyclers
Cyclers
Mar 2022
·
Tristan Stérin
Decider
Details
Reviews
0
Children
4
Coq verification of Cyclers
Jul 2023
·
mei
Dependencies:
busycoq
,
Cyclers
Result Reproduction
Decider
Formal Verification
Coq
View
Reviews (0)
Children (0)
Reproduction of Cyclers
Sep 2022
·
Tony Guilfoyle
Dependencies:
Cyclers
Result Reproduction
Decider
Verifier
View
Reviews (0)
Children (0)
Dafny verification of Cyclers
Sep 2022
·
Nathan Fenner
Dependencies:
Cyclers
Result Reproduction
Formal Verification
View
Reviews (0)
Children (0)
Write-up of Cyclers
May 2022
·
Tristan Stérin
Dependencies:
Write-up
,
Cyclers
Write-up
View
Reviews (0)
Children (0)
