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