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
This contribution has no children yet.