jozefg / learn-tt

A collection of resources for learning type theory and type theory adjacent fields.
2,154Updated 2 months ago

Related projects

Alternatives and complementary repositories for learn-tt