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