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 |
gdp-0.0.3.0: Reason about invariants and preconditions with ghosts of departed proofs.