vinicius-toshiyuki/nominal-ac

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

This repository is not active