Giters

kframework / matching-logic-prover

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

About

Languages

Language:SMT 52.2%Language:OCaml 36.8%Language:Python 8.3%Language:Shell 0.9%Language:Roff 0.8%Language:Dockerfile 0.7%Language:Standard ML 0.4%