atp-0.1.0.0: Interface to automated theorem provers (Index - P)

atp-0.1.0.0: Interface to automated theorem provers

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
X
/
<
=
?
\
|
~
All

Index - P

Paramodulation	ATP.FOL, ATP
ParsingError	ATP.Error, ATP
parsingError	ATP.Error, ATP
Partial	ATP.Error, ATP
PartialT
1 (Type/Class)	ATP.Error, ATP
2 (Data Constructor)	ATP.Error, ATP
Positive	ATP.FOL, ATP
pprint	ATP.Pretty.FOL, ATP
Predicate
1 (Type/Class)	ATP.FOL, ATP
2 (Data Constructor)	ATP.FOL, ATP
PredicateSymbol
1 (Type/Class)	ATP.FOL, ATP
2 (Data Constructor)	ATP.FOL, ATP
Pretty	ATP.Pretty.FOL, ATP
pretty	ATP.Pretty.FOL, ATP
prettyList	ATP.Pretty.FOL, ATP
Proof	ATP.FOL, ATP
ProofError	ATP.Error, ATP
proofError	ATP.Error, ATP
Proposition
1 (Type/Class)	ATP.FOL, ATP
2 (Data Constructor)	ATP.FOL, ATP
Propositional	ATP.FOL, ATP
prove	ATP.Prove, ATP
Prover
1 (Type/Class)	ATP.Prover, ATP
2 (Data Constructor)	ATP.Prover, ATP
prover	ATP.Prove, ATP
proverArguments	ATP.Prover, ATP
proverOutput	ATP.Prover, ATP
proveUsing	ATP.Prove, ATP
proveWith	ATP.Prove, ATP
ProvingOptions
1 (Type/Class)	ATP.Prove, ATP
2 (Data Constructor)	ATP.Prove, ATP