package coq-unimath
Library of Univalent Mathematics
Install
Dune Dependency
Authors
Maintainers
Sources
v20260603.tar.gz
sha512=4b22a33af6b2bf6f7d1a842eb1de1ac1581673f71e5585d7972169711283a5c7508ae088cd25c9c06b1bb9be593441c476caa1cf74d18456c3fe770aa4faccc4
On This Page