#

prover

Here are 3 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

9Y0 / NaturalDeduction

A natural deduction prover in Gentzen's system.

logic prover natural-deduction intuitionistic-logic

Updated Dec 23, 2021
Haskell

rohitanwar / Ostara

A simple automated theorem prover written in Haskell

logic first-order-logic prover resolution-proof

Updated Apr 24, 2024
Haskell

Improve this page

Add a description, image, and links to the prover 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 prover topic, visit your repo's landing page and select "manage topics."