ericfinster / higher-alg

An approach to higher algebra in type theory
23Updated 4 years ago

Related projects

Alternatives and complementary repositories for higher-alg