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