#

atp

Here are 2 public repositories matching this topic...

aztek / atp

Haskell interface to automated theorem provers

haskell logic theorem-proving first-order-logic formal-methods tptp atp prover automated-theorem-provers

Updated Feb 10, 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 atp 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 atp topic, visit your repo's landing page and select "manage topics."