Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge

Coq-BB5

Apr 2024 · mxdys
Coq verification of "BB(2,4) = 3,932,964"
Coq-BB5 - Skelet #17 doesn't halt, Coq proof
Coq-BB5 - Complete Coq proof of "BB(5) = 47,176,870"
Coq-BB5 - Repeated block decider (RepWL_ES)
Coq-BB5 - Reproduction and improvements on NGramCPS