unicoq / unicoq

An enhanced unification algorithm for Coq
49Updated 5 months ago

Related projects

Alternatives and complementary repositories for unicoq