issues
search
UniMath
/
agda-unimath
The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
219
stars
70
forks
source link
Fixing a link
#1135
Closed
FernandoChu
closed
5 months ago
FernandoChu
commented
5 months ago
Just fixing a link :)
Just fixing a link :)