CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
Coq verification of "BB(2,4) = 3,932,964"
Coq verification of "BB(2,4) = 3,932,964"
Aug 2024
·
mxdys
Dependencies:
Coq-BB5
,
BB(2,4) = 3,932,964
Coq
Formal Verification
bb2x4
Details
Reviews
0
Children
0
Edit
Featured Links
Github
https://github.com/ccz181078/Coq-BB5/blob/main/BB24Theorem.v
Chat about it
https://discord.com/channels/960643023006490684/1218877181321678928/
Highlighted message
https://discord.com/channels/960643023006490684/1218877181321678928/1276336329218854984