Beast code in Giters

Matt Earnshaw's repositories

The collected works of F. W. Lawvere

Categorical logic from a categorical point of view

Language:TeXNOASSERTION2 10

papers of Per Martin Löf

Language:TeX200

tiny gtk tray client for mpd

Language:CGPL-2.02 30

Lean for the Curious Mathematician 2020

000

Lean mathematical components library

Language:LeanApache-2.0020

Development tools for https://github.com/leanprover-community/mathlib

Apache-2.0000

Building the natural numbers in Lean.

Apache-2.0000

Collaborative Programmable Music

Language:ClojureNOASSERTION030