Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge

Formal verification of "BB(2,4) = 3,932,964"

Dependencies:

Information: the review system is currently extremely minimal. Any ideas for improvement are welcome.