ericfinster/higher-alg

An approach to higher algebra in type theory

This repository is not active