This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

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

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