tptp-lark-parser
A TPTP parser using Lark
Installation
To install this package, run one of the following:
Installation commands are not available for this package.
Usage Tracking
latest
1 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
A TPTP parser using Lark
Last Updated
Jan 11, 2025 at 14:00
License
Apache-2.0
GitHub Repository
https://github.com/inpefess/tptp-lark-parserDocumentation
https://tptp-lark-parser.readthedocs.io/