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