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