unification-problem
There are 1 repositories under unification-problem topic.
andreiarusoaie/certifying-unification-in-aml
This repo contains a series of Maude scripts for generating and checking proof certificates for syntactic unification in (Applicative) Matching Logic.