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.