CoSearch
Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge

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

Aug 2024 · Andrew Ducharme ,Shawn Ligocki ,tjligocki
Dependencies:

This contribution has no children yet.