search

Formal-Systems-Laboratory / matching-logic-mm0

Formalisation of Matching Logic in Metamath 0
BSD 3-Clause "New" or "Revised" License
0 stars 1 forks source link

lisp code test theorems #6

Open MirceaS opened 1 year ago

MirceaS commented 1 year ago

Move all tests of the lisp meta-theorems from the main mm0 codebase to their own separate files (possibly in a separate folder as well?)

MirceaS commented 1 year ago

Also add additional tests