search

kframework / matching-logic-prover

15 stars 4 forks source link

Delete the rest of the prover (in the notation branch). #83

Open h0nzZik opened 4 years ago