Massively Collaborative Research
The Busy Beaver Challenge
Featured Links
| Github | https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf |
| Chat about it | https://discord.com/channels/960643023006490684/1151558585344593950 |