Massively Collaborative Research
The Busy Beaver Challenge
Infos
| Handle | @tjligocki@cosearch.bbchallenge.org |
| Discord Display Name | tjligocki |
| Wiki contributions | https://wiki.bbchallenge.org/wiki/Special:Contributions/Tjligocki |
Formal verification of "BB(2,4) = 3,932,964"
Dependencies:
BB(2,4) champion found: 1RB2LA1RA1RA_1LB1LA3RB1RZ