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 (N)
Name
1 (Type/Class)
Ivor.ViewTerm
, Ivor.TT
2 (Data Constructor)
Ivor.ViewTerm
, Ivor.TT
name
Ivor.ViewTerm
, Ivor.TT
namesIn
Ivor.ViewTerm
, Ivor.TT
NameType
Ivor.ViewTerm
, Ivor.TT
nameType
Ivor.TT
nametype
Ivor.ViewTerm
, Ivor.TT
newShell
Ivor.Shell
NoSuchVar
Ivor.TT
NotConvertible
Ivor.TT
numUnsolved
Ivor.TT