Pinned Repositories
catlog
Categorical logic from a categorical point of view
lawvere
The collected works of F. W. Lawvere
martin-lof
papers of Per Martin Löf
mattearnshaw's Repositories
mattearnshaw/lawvere
The collected works of F. W. Lawvere
mattearnshaw/catlog
Categorical logic from a categorical point of view
mattearnshaw/martin-lof
papers of Per Martin Löf
mattearnshaw/lftcm2020
Lean for the Curious Mathematician 2020
mattearnshaw/mathlib
Lean mathematical components library
mattearnshaw/mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
mattearnshaw/natural_number_game
Building the natural numbers in Lean.
mattearnshaw/overtone
Collaborative Programmable Music