tptp-lark-parser
A TPTP parser using Lark
Installation
To install this package, run one of the following:
Usage Tracking
0.2.0
0.1.2
0.0.12
0.0.9
0.0.8
5 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
A TPTP parser using Lark
Last Updated
Feb 9, 2023 at 08:20
License
Apache-2.0
Supported Platforms
noarch
GitHub Repository
https://github.com/inpefess/tptp-lark-parserDocumentation
https://tptp-lark-parser.readthedocs.io/