Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge

Coq-BB5 - Complete Coq proof of "BB(5) = 47,176,870"

May 2024 · mxdys

Information: the review system is currently extremely minimal. Any ideas for improvement are welcome.