package coq-unicoq
An enhanced unification algorithm for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.6-8.20.tar.gz
sha512=1647f942ab2ed58e5b48f4d20b442e9c03512f6195afa914316de47529dac75ebe3f8983345f97bc100660285a5c7ffe3e2ce68e916d7dbae9a30194c01bc809
Description
On This Page