UniMath / agda-unimath

The agda-unimath library
242Updated last week

Alternatives and similar repositories for agda-unimath:

Users that are interested in agda-unimath are comparing it to the libraries listed below