Contents
Index
gdp-0.0.3.0: Reason about invariants and preconditions with ghosts of departed proofs.
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
:
$
&
.
/
=
?
\
|
-
~
All
Index - R
refl
Logic.Classes
, GDP
reflectEq
Theory.Equality
, GDP
Reflexive
Logic.Classes
, GDP
rename
Data.Refined
, GDP
RHS
Data.Arguments
, GDP
rmapImpl
Logic.Propositional
, GDP