Proving with Coq the 5th Busy Beaver number, BB(5)=47,176,870 (github.com) 3 points by EtaoinWu 2y ago ↗ HN
0 comments
[ 3.5 ms ] story [ 4.1 ms ] threadNo comments yet.