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 13.3:0.0.0.2
Stackage Nightly 2019-01-17:0.0.0.2
Latest on Hackage:0.0.0.2

See all snapshots gdp appears in

BSD-3-Clause licensed by Matt Noonan

gdp: Ghosts of Departed Proofs

Depends on 3 packages:
Used by 2 packages:
comments powered byDisqus