ericfinster / higher-algLinks

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

Alternatives and similar repositories for higher-alg

Users that are interested in higher-alg are comparing it to the libraries listed below

Sorting: