search

kframework / matching-logic-prover

15 stars 4 forks source link

Remove non-capture free substitution and add unit tests #56

Closed nishantjr closed 4 years ago