#

eprover

Here are 2 public repositories matching this topic...

aztek / tptp

Parser and pretty printer for the TPTP language

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

Updated Jan 4, 2022
Haskell

jonaprieto / online-atps

Run ATPs from SystemOnTPTP

tptp vampire atp metis theorem eprover

Updated Jul 8, 2019
Haskell

Improve this page

Add a description, image, and links to the eprover topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the eprover topic, visit your repo's landing page and select "manage topics."