amblafont / unification

Notes (and implementation) of unification with binders
14Updated 3 months ago

Alternatives and similar repositories for unification:

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