mattearnshaw

Tallinn University of TechnologyTallinn, Estonia

Pinned Repositories

catlog
Categorical logic from a categorical point of view
Language:TeX2 3 00
lawvere
The collected works of F. W. Lawvere
313 23 231
martin-lof
papers of Per Martin Löf
Language:TeX2 3 01
mpdtray
tiny gtk tray client for mpd
Language:C2 3 01

mattearnshaw's Repositories

mattearnshaw/lawvere
The collected works of F. W. Lawvere
313 23 231
mattearnshaw/catlog
Categorical logic from a categorical point of view
Language:TeX2 3 00
mattearnshaw/martin-lof
papers of Per Martin Löf
Language:TeX2 3 01
mattearnshaw/mpdtray
tiny gtk tray client for mpd
Language:C2 3 01
mattearnshaw/lftcm2020
Lean for the Curious Mathematician 2020
Language:Python2 0
mattearnshaw/mathlib
Lean mathematical components library
Language:Lean2 0
mattearnshaw/mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
Language:Python2 0
mattearnshaw/natural_number_game
Building the natural numbers in Lean.
Language:Lean2 0
mattearnshaw/overtone
Collaborative Programmable Music
Language:Clojure3 0