Coq-BB5

From BusyBeaverWiki
Revision as of 19:04, 6 February 2025 by Sligocki (talk | contribs) (Created page with "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 Category:Stub")
(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

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