Here is a list of projects that use the agda-unimath library:
If your project uses the agda-unimath library, let us know, so we can add your project to the list.
Here is a list of projects that use the agda-unimath library:
If your project uses the agda-unimath library, let us know, so we can add your project to the list.