Proving with Coq the 5th Busy Beaver number, BB(5)=47,176,870 #1 Post by EtaoinWu » Fri, May 10, 2024, 10:43 PM UTC Proving with Coq the 5th Busy Beaver number, BB(5)=47,176,870github.com