search

meta-logic / sellf

SubExponential Linear Logic Framework for reasoning about sequent calculus systems
7 stars 2 forks source link

Build the testing system #11

Closed ningjize closed 6 years ago

ningjize commented 6 years ago

Prototype

ningjize commented 6 years ago

fix the code