Index - L
lem | Logic.Propositional, GDP |
LHS | Data.Arguments, GDP |
ListCase | Theory.Lists |
ListCase' | Theory.Lists |
listInduction | Theory.Lists |
listIsList | Theory.Lists |
listShapes | Theory.Lists |
lmapImpl | Logic.Propositional, GDP |
gdp-0.0.3.0: Reason about invariants and preconditions with ghosts of departed proofs.
Index - L
lem | Logic.Propositional, GDP |
LHS | Data.Arguments, GDP |
ListCase | Theory.Lists |
ListCase' | Theory.Lists |
listInduction | Theory.Lists |
listIsList | Theory.Lists |
listShapes | Theory.Lists |
lmapImpl | Logic.Propositional, GDP |