Search
Mathematics Encyclopedia and Lessons
Lessons
Popular
Subjects
algebra
arithmetic
calculus
equations
geometry
differential equations
trigonometry
number theory
probability theory
more
References
applied mathematics
mathematical games
mathematicians
more
Categories
:
Mathematical logic
|
Proofs
Category:Theorem provers
See
automated theorem proving
.
Articles in category "Theorem provers"
There are 9 articles in this category.
ACL2 theorem prover
C
Carine theorem prover
Coq
E
E equational theorem prover
G
Gandalf theorem prover
H
HOL theorem prover
I
Interactive theorem proving
I cont.
Isabelle theorem prover
P
PhoX
Categories
:
Mathematical logic
|
Proofs
01-04-2007 01:18:14
The contents of this article are licensed from
Wikipedia.org
under the
GNU Free Documentation License
. How to see
transparent copy