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