Massively Collaborative Research
The Busy Beaver Challenge
Coq-BB5 - Reproduction and improvements on NGramCPS
Dependencies:
Featured Links
| Github | https://github.com/ccz181078/Coq-BB5/tree/main |
| Chat about it | https://discord.com/channels/960643023006490684/1028747034066427904 |