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