A Free Mathematical and Computational Software Directory

Packages tagged “automated theorem proving“

Coq

Formal proof management system

Tags: logic, automated theorem proving.

Homepage: http://coq.inria.fr/

E

Automated theorem prover

Tags: logic, automated theorem proving.

Homepage: http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html

ProofGeneral

Emacs-based frontend to a variety of theorem provers

Tags: automated theorem proving.

Homepage: http://proofgeneral.inf.ed.ac.uk/devel

ProofPower

A suite of tools supporting specification and proof in Higher Order Logic and in the Z notation

Tags: logic, Z notation, higher-order logic, automated theorem proving.

Homepage: http://lemma-one.com/ProofPower/

PVS

Specification and Verification System

Tags: logic, automated theorem proving.

Homepage: http://pvs.csl.sri.com/