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