cl-tptp-parser

Parser for TPTP axiom and problem files (In very early stages of development. Unusable for now)

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
cl-tptp-parser.asd		cl-tptp-parser.asd
grammar.lisp		grammar.lisp
lexer.lisp		lexer.lisp
package.lisp		package.lisp
parser-ds.lisp		parser-ds.lisp
parser.lisp		parser.lisp

Provide feedback