Python TPTP Parser
Published in Zenodo (CERN European Organization for Nuclear Research) • Sep 1, 2022
Authors:
Shminke, Boris
Abstract
tptp-lark-parser is a parser for the TPTP library language using the Lark parser.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!