gdp
Reason about invariants and preconditions with ghosts of departed proofs.
https://github.com/githubuser/gdp#readme
Version on this page: | 0.0.0.2 |
LTS Haskell 22.21: | 0.0.3.0 |
Stackage Nightly 2024-05-11: | 0.0.3.0 |
Latest on Hackage: | 0.0.3.0 |
Maintained by [email protected]
This version can be pinned in stack with:
gdp-0.0.0.2@sha256:bf154ac08b0441dd62c60be2a6240cf679cb964c2239d1323ee03c3e698d56f8,2001
Module documentation for 0.0.0.2
- Data
- Data.Arguments
- Data.Refined
- Data.The
- GDP
- Logic
- Logic.Classes
- Logic.NegClasses
- Logic.Proof
- Logic.Propositional
- Theory
- Theory.Equality
- Theory.Named
Depends on 3 packages(full list with versions):
Used by 1 package in nightly-2019-05-18(full list with versions):