rodrigogribeiro / unificationLinks

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

Alternatives and similar repositories for unification

Users that are interested in unification are comparing it to the libraries listed below

Sorting: