CMD + K

tptp-lark-parser

Community

A TPTP parser using Lark

Installation

To install this package, run one of the following:

Conda
$conda install conda-forge::tptp-lark-parser

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