https://github.com/jozefg/learn-tt
2116
21 days ago
A collection of resources for learning type theory and type theory adjacent fields.