amblafont / unification
Notes (and implementation) of unification with binders
☆14Updated last month
Related projects ⓘ
Alternatives and complementary repositories for unification
- An extension of the NbE algorithm to produce computational traces☆21Updated 2 years ago
- my phd thesis☆26Updated 3 months ago