Matching Logic Prover
prover
contains the matching logic prover, implemented in the K framework.checker
contains the proof checkers of matching logic.ml2fol
contains a prototype translation from matching logic to first-order logic in smt2lib format.