Skip to content

lisphacker/cl-tptp-parser

Repository files navigation

cl-tptp-parser

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

About

Parser for TPTP axiom and problem files

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published