USERS.md

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.