Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: eprover

aztek/tptp

Parser and pretty printer for the TPTP language

Language: Haskell - Size: 1.49 MB - Last synced at: 23 days ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 2

jonaprieto/online-atps

Run ATPs from SystemOnTPTP

Language: Haskell - Size: 508 KB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 1

Related Keywords
eprover 2 tptp 2 vampire 2 automated-theorem-provers 1 haskell 1 haskell-library 1 logic 1 parsing 1 parsing-library 1 pretty-print 1 theorem-proving 1 atp 1 metis 1 theorem 1