Coq-BB5 - Skelet #17 doesn't halt, Coq proof

May 2024 · mxdys

Dependencies:

Featured Links

Github	https://github.com/ccz181078/Coq-BB5/blob/main/Skelet17.v
Chat about it	https://discord.com/channels/960643023006490684/1218877181321678928/
Highlighted message	https://discord.com/channels/960643023006490684/1218877181321678928/1238471032755585054

Description

Achieved the Coq proof of BB(5) = 47,176,870 https://discuss.bbchallenge.org/t/july-2nd-2024-we-have-proved-bb-5-47-176-870/237