amblafont / unificationLinks

Notes (and implementation) of unification with binders
14Updated 2 weeks ago

Alternatives and similar repositories for unification

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

Sorting: