tptp-lark-parser

A TPTP parser using Lark

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install tptp-lark-parser

Dependencies

Releases

Version Released Bookworm
Python 3.11
Trixie
Python 3.13
Files
0.2.0 2023-02-08
0.1.2 2023-01-02
0.1.1 2022-12-03
0.1.0 2022-11-03
0.0.12 2022-10-04
0.0.9 2022-08-05
0.0.8 2022-07-17
0.0.7 2022-06-17
0.0.6 2022-06-13
0.0.5 2022-06-11
0.0.4 2022-05-23
0.0.3 2022-05-23
0.0.2 2022-05-21
0.0.1 2022-05-20

Issues with this package?

Page last updated 2026-09-03 05:46:40 UTC