Search
The Online Encyclopedia and Dictionary
Encyclopedia
Dictionary
Quotes
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
Last updated: 08-03-2005 05:26:26
The contents of this article are licensed from
Wikipedia.org
under the
GNU Free Documentation License
. How to see
transparent copy
