Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
loading thread…
4 ms
·
Proving with Coq the 5th Busy Beaver number, BB(5)=47,176,870
3 points
by
EtaoinWu
2y ago