CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
1RB2LA0LA_2LC---2RA_0RA2RC1LC doesn't halt
1RB2LA0LA_2LC---2RA_0RA2RC1LC doesn't halt
Jul 2024
·
Jason Yuen
Formal Verification
Individual Machine
Coq
bb3x3
Details
Reviews
0
Children
0
This contribution has no children yet.