Coq-BB5: Difference between revisions
Jump to navigation
Jump to search
(link rocq to wikipedia) |
(Added Category:BB(5)) |
||
| Line 5: | Line 5: | ||
TODO: Give wiki links to these deciders and individual TM proofs. | TODO: Give wiki links to these deciders and individual TM proofs. | ||
[[Category:BB(5)]] | |||
Latest revision as of 16:45, 27 September 2025
Coq-BB5 is a Rocq (previously known as 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.