/nominal-ac

A Formalisation (in Coq) of Nominal C-Matching and Unification and Nominal A, C and AC-Equivalence

Primary LanguageCoq

No issues in this repository yet.