https://github.com/unicoq/unicoq
OCaml46
7 months ago
An enhanced unification algorithm for Coq
MIT License