CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
Coq-BB5 - Repeated block decider (RepWL_ES)
Coq-BB5 - Repeated block decider (RepWL_ES)
Apr 2024
·
mxdys
Dependencies:
Coq-BB5
Decider
Formal Verification
Coq
Details
Reviews
0
Children
1
Reproduction of RepWL_ES
May 2024
·
savask
Dependencies:
RepWL_ES
Result Reproduction
Decider
View
Reviews (0)
Children (0)