notes.billmill.org
/
programming
/
theorem provers
/
Coq
Lean
Backlinks:
BusyBeaver(5) is 47,176,870
The Natural Number Game