CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
Skelet #26 and #15 don't halt
Skelet #26 and #15 don't halt
Jan 2024
·
Jason Yuen
,
mei
,
Shawn Ligocki
Formal Verification
Individual Machine
Write-up
Coq
bb5
Details
Reviews
0
Children
0
This contribution has no children yet.
