Generate an image (.png) simulating the donation of a nitro to a user

This repo contains a series of Maude scripts for generating and checking proof certificates for syntactic unification in (Applicative) Matching Logic.