GitHub repository: unicoq/unicoq
Primary language: OCaml
Description: An enhanced unification algorithm for Coq