Massively Collaborative Research
The Busy Beaver Challenge
Featured Links
| Github | https://github.com/bbchallenge/bbchallenge-proofs/ |
| Chat about it | https://discord.com/channels/960643023006490684/1151558585344593950 |
Description
The project of mathematically writing the correctness of bbchallenge deciders started.