Massively Collaborative Research
The Busy Beaver Challenge
bb2x4
Tagged Contributions (4)
Coq verification of "BB(2,4) = 3,932,964"
Dependencies:
Formal verification of "BB(2,4) = 3,932,964"
Dependencies:
BB(2,4) = 3,932,964
Dependencies:
BB(2,4) champion found: 1RB2LA1RA1RA_1LB1LA3RB1RZ