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