CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
Coq-BB5 - Reproduction and improvements on NGramCPS
Coq-BB5 - Reproduction and improvements on NGramCPS
Apr 2024
·
mxdys
Dependencies:
n-GRAM CPS
,
Coq-BB5
Result Reproduction
Decider
Formal Verification
Coq
Details
Reviews
0
Children
0
This contribution has no children yet.