CoSearch
Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge
Work In Progress
Tagged Contributions (1)
Formal verification of "BB(2,4) = 3,932,964"