<Good First Issue />
/
Language
Project
Label
Sign in
Sign up
UniMath/agda-unimath
The agda-unimath library
Agda
Stars 278
Forks 91
Watchers 278
Open issues 216
License MIT License
Details
仓库信息
Owner
UniMath
Homepage
https://unimath.github.io/agda-unimath/
GitHub
https://github.com/UniMath/agda-unimath
Last pushed
2025-12-03
Last updated
2025-12-13
Issues fetched at
—
Stats
Community at a glance
Loading...
Loading
--
Loading
--
Loading
--
Loading
--