Massively Collaborative Research
The Busy Beaver Challenge
Infos
| Handle | @aducharme@cosearch.bbchallenge.org |
| Display Name | Andrew Ducharme |
| Discord Display Name | Andrew Ducharme |
| GitHub | https://github.com/aducharme |
| Wiki contributions | https://wiki.bbchallenge.org/wiki/Special:Contributions/ADucharme |
Formal verification of "BB(2,4) = 3,932,964"
Dependencies: