andrejbauer / spartan-type-theory

Spartan type theory
254Updated 5 months ago

Related projects

Alternatives and complementary repositories for spartan-type-theory