CoSearch
Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge

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

May 2024 · mxdys
Dependencies:
,

This contribution has no children yet.