Massively Collaborative Research
The Busy Beaver Challenge
Coq-BB5 - Complete Coq proof of "BB(5) = 47,176,870"
Dependencies:
Featured Links
| Chat about it | https://discord.com/channels/960643023006490684/1218877181321678928 |
| Highlighted message | https://discord.com/channels/960643023006490684/1218877181321678928/1238471032755585054 |