Category:Theorem proving software systems: Difference between revisions

From HandWiki

Latest revision as of 17:16, 28 February 2021

Software portal

Here is a list of articles in the category Theorem proving software systems of the Software portal. See automated theorem proving.

Subcategories

This category has only the following subcategory.

F

Free theorem provers‎ (19 P)

Pages in category "Theorem proving software systems"

The following 18 pages are in this category, out of 18 total.

C

Software:CARINE

E

G

Geometry Expert

L

M

N

Software:Nqthm

O

OBJ (programming language)

P

Planner (programming language)

T

V

Software:Vampire (theorem prover)

W

Software:Wolfram Mathematica

Retrieved from "https://handwiki.org/wiki/index.php?title=Category:Theorem_proving_software_systems&oldid=225021"