Massively Collaborative Research
The Busy Beaver Challenge
Coq-BB5 - Repeated block decider (RepWL_ES)
Dependencies:
Featured Links
| Github | https://github.com/ccz181078/Coq-BB5/tree/main |
| Chat about it | https://discord.com/channels/960643023006490684/960655108578881597 |