CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
Coq-BB5 - Skelet #17 doesn't halt, Coq proof
Coq-BB5 - Skelet #17 doesn't halt, Coq proof
May 2024
·
mxdys
Dependencies:
Skelet #17 does not halt
,
Coq-BB5
Formal Verification
Individual Machine
Coq
Details
Reviews
0
Children
1
Coq-BB5 - Complete Coq proof of "BB(5) = 47,176,870"
May 2024
·
mxdys
Dependencies:
Coq-BB5
,
Coq-BB5 - Skelet #17 doesn't halt, Coq proof
Formal Verification
Coq
bb5
View
Reviews (0)
Children (0)
