rodrigogribeiro / unification

Formalisation of a type unification algorithm in Coq proof assistant.
18Updated 6 years ago

Related projects

Alternatives and complementary repositories for unification