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.