search

kframework / matching-logic-prover

15 stars 4 forks source link

Symbols in prelude #80

Closed h0nzZik closed 4 years ago

nishantjr commented 4 years ago

Otherwise, looks good.