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 |