Geeks
type-theories
There are 1 repositories under type-theories topic.
UniMath/
agda-unimath
The agda-unimath library
Language:
Agda
223
9
147
71