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