amblafont / unification

Notes (and implementation) of unification with binders
14Updated this week

Alternatives and similar repositories for unification:

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