Giters

kframework / matching-logic-prover

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

h0nzZik opened this issue · comments