Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge

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

Aug 2024 · mxdys

This contribution has no children yet.