unicoq / unicoq

An enhanced unification algorithm for Coq
49Updated 4 months ago

Related projects

Alternatives and complementary repositories for unicoq