Jump to content

Category:Theorem proving software systems

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Lambiam (talk | contribs) at 08:55, 12 July 2007 (Undid revision 144073474 by Gregbard (talk): already supercat). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

See automated theorem proving.

Subcategories

This category has the following 2 subcategories, out of 2 total.

F

Free theorem provers (17 P)

P

Proof assistants (28 P)

Pages in category "Theorem proving software systems"

The following 17 pages are in this category, out of 17 total. This list may not reflect recent changes.

C

CARINE

E

Equational prover

G

Geometry Expert

L

M

N

Nqthm

O

OBJ (programming language)

P

Planner (programming language)

T

V

Vampire (theorem prover)

W

Wolfram (software)

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Theorem_proving_software_systems&oldid=144146072"