Massively Collaborative Research
The Busy Beaver Challenge
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