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 (C)
Call
Ivor.ViewTerm
, Ivor.TT
call
Ivor.TT
callterm
Ivor.ViewTerm
, Ivor.TT
CantInfer
Ivor.TT
CantUnify
Ivor.TT
Case
Ivor.TT
cases
Ivor.TT
check
Ivor.TT
checkCtxt
Ivor.TT
claim
Ivor.TT
clearSaved
Ivor.TT
Code
Ivor.ViewTerm
, Ivor.TT
codetype
Ivor.ViewTerm
, Ivor.TT
compile
Ivor.TT
compute
Ivor.TT
configureEq
Ivor.Shell
Constant
Ivor.ViewTerm
, Ivor.TT
constructors
Ivor.ViewTerm
, Ivor.TT
Context
Ivor.TT
contype
Ivor.ViewTerm
, Ivor.TT
converts
Ivor.TT