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