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.

Python