ivor-0.1.11: Theorem proving library based on dependent type theory
Contents
Index
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
>
Index (P)
parameters
Ivor.ViewTerm
, Ivor.TT
parseDataString
Ivor.TermParser
parsePrimitives
Ivor.Primitives
parsePrimTerm
Ivor.Primitives
parseTermString
Ivor.TermParser
Partial
Ivor.TT
Patterns
1 (Type/Class)
Ivor.TT
2 (Data Constructor)
Ivor.TT
patterns
Ivor.TT
PattOpt
Ivor.TT
PClause
1 (Type/Class)
Ivor.TT
2 (Data Constructor)
Ivor.TT
pInductive
Ivor.TermParser
Placeholder
Ivor.ViewTerm
, Ivor.TT
pNoApp
Ivor.TermParser
prefix
Ivor.Shell
proofterm
Ivor.TT
proving
Ivor.TT
pTerm
Ivor.TermParser
PWithClause
Ivor.TT