Coq-BB5

From BusyBeaverWiki

Revision as of 11:09, 19 May 2025 by Int-y1 (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Coq-BB5 is a Coq proof that BB(5) = 47,176,870. It combines many deciders and individual TM proofs that the bbchallenge.org community developed and described over the years 2022-2024. It is maintained by mxdys and includes a snapshot of BusyCoq maintained by meithecatte.

See: https://github.com/ccz181078/Coq-BB5/tree/main

TODO: Give wiki links to these deciders and individual TM proofs.

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=Coq-BB5&oldid=1969"

Stub