GitHub repository: meta-logic/sellf
Primary language: JavaScript
Created: 2015-04-15T20:57:10Z
Description: SubExponential Linear Logic Framework for reasoning about sequent calculus systems