CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
1RB2LB---_1RC2RB1LC_0LA0RB1LB (u.h.id. 642) does not halt
1RB2LB---_1RC2RB1LC_0LA0RB1LB (u.h.id. 642) does not halt
Oct 2024
·
Jason Yuen
Individual Machine
Formal Verification
Coq
bb3x3
Details
Reviews
0
Children
0
This contribution has no children yet.