search

kframework / matching-logic-prover

15 stars 4 forks source link

Coq lang #38

Open lucaspena opened 4 years ago