CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
busycoq
busycoq
Jul 2023
·
mei
Decider
Formal Verification
Coq
Project
Details
Reviews
0
Children
6
Edit
Featured Links
Github
https://github.com/meithecatte/busycoq/
Chat about it
https://discord.com/channels/960643023006490684/1218877181321678928