CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
Write-up of Cyclers
Write-up of Cyclers
May 2022
·
Tristan Stérin
Dependencies:
Write-up
,
Cyclers
Write-up
Details
Reviews
0
Children
0
Edit
Featured Links
Github
https://github.com/bbchallenge/bbchallenge-proofs
Chat about it
https://discord.com/channels/960643023006490684/1028753914503385199
Write-up (Section 1)
https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf