Projects using the agda-unimath library

Here is a list of projects that use the agda-unimath library:

• https://git.app.uib.no/hott/hott-set-theory
• https://git.app.uib.no/hott/containers
• https://vojtechstep.eu/archive/hp-agda-unimath
• https://spcfox.github.io/agda-unimath/

If your project uses the agda-unimath library, let us know, so we can add your project to the list.