Index - F
| Fact | Logic.Implicit, GDP |
| FALSE | Logic.Propositional, GDP |
| firstAnd | Logic.Propositional, GDP |
| firstOr | Logic.Propositional, GDP |
| ForAll | Logic.Propositional, GDP |
| forP | Data.Refined, GDP |
| forP_ | Data.Refined, GDP |
gdp-0.0.3.0: Reason about invariants and preconditions with ghosts of departed proofs.