Sign inSign up

UniMath/agda-unimath

The agda-unimath library

AgdaStars 278Forks 91Watchers 278Open issues 216License MIT License
Details
仓库信息
OwnerUniMath
Homepagehttps://unimath.github.io/agda-unimath/
GitHubhttps://github.com/UniMath/agda-unimath
Last pushed2025-12-03
Last updated2025-12-13
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--