issues
search
UniMath
/
agda-unimath
The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
222
stars
71
forks
source link
Another fix for the profiling workflow
#1038
Closed
fredrik-bakke
closed
8 months ago