search

kframework / matching-logic-prover

15 stars 4 forks source link

Strategies `apply` and `inst-exists` #51

Closed h0nzZik closed 4 years ago

h0nzZik commented 4 years ago

The first three commits are taken from the PR #50 .