Matt Earnshaw's repositories
martin-lof
papers of Per Martin Löf
mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
natural_number_game
Building the natural numbers in Lean.
Tallinn University of Technology
Tallinn, Estonia
papers of Per Martin Löf
Development tools for https://github.com/leanprover-community/mathlib
Building the natural numbers in Lean.