search

kframework / matching-logic-prover

15 stars 4 forks source link

Clean up Metamath Definition #55

Closed xc93 closed 4 years ago