https://github.com/aztek/tptp

Parser and pretty printer for the TPTP language
https://github.com/aztek/tptp

automated-theorem-provers eprover haskell haskell-library logic parsing parsing-library pretty-print theorem-proving tptp vampire

Last synced: 7 months ago
JSON representation

Parser and pretty printer for the TPTP language

• Host: GitHub
• URL: https://github.com/aztek/tptp
• Owner: aztek
• License: gpl-3.0
• Created: 2019-03-04T15:25:03.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2022-01-04T20:15:39.000Z (about 4 years ago)
• Last Synced: 2025-07-03T19:05:19.524Z (7 months ago)
• Topics: automated-theorem-provers, eprover, haskell, haskell-library, logic, parsing, parsing-library, pretty-print, theorem-proving, tptp, vampire
• Language: Haskell
• Homepage: https://hackage.haskell.org/package/tptp
• Size: 1.49 MB
• Stars: 7
• Watchers: 2
• Forks: 2
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# tptp

[![Hackage](https://img.shields.io/hackage/v/tptp.svg?logo=haskell)](https://hackage.haskell.org/package/tptp) [![Hackage CI](https://matrix.hackage.haskell.org/api/v2/packages/tptp/badge)](https://matrix.hackage.haskell.org/#/package/tptp) [![Build Status](https://travis-ci.org/aztek/tptp.svg?branch=master)](https://travis-ci.org/aztek/tptp)

[TPTP](http://www.tptp.org) (Thousands of Problems for Theorem Provers) is the standard language of problems, proofs, and models, used by automated theorem provers.

This library provides definitions of data types, a pretty printer and an [attoparsec](http://hackage.haskell.org/package/attoparsec) parser for the CNF, FOF, TFF0 and TFF1 subsets of the TPTP language.

See [Hackage](https://hackage.haskell.org/package/tptp/docs/Data-TPTP.html) for the Haddock documentation.