SubExponential Linear Logic Framework for reasoning about sequent calculus systems
Primary LanguageJavaScript