package coq-unimath
Library of Univalent Mathematics
Install
Dune Dependency
Authors
Maintainers
Sources
v20220816.tar.gz
sha512=00543bd6f22d531d87015aad68b558f0a7a17f0f497f84dc1476de2d2c2b0f6ad4ad1437e9cf1e9878d10647a0079329ad84e05edd81998d53c53e5e7f889d76
On This Page