UniMath / agda-unimath

The agda-unimath library
243Updated 2 weeks ago

Alternatives and similar repositories for agda-unimath:

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