andrejbauer / spartan-type-theory

Spartan type theory
257Updated 5 months ago

Related projects

Alternatives and complementary repositories for spartan-type-theory