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 12.1:0.0.0.2
Stackage Nightly 2018-07-19:0.0.0.2
Latest on Hackage:0.0.0.2

See all snapshots gdp appears in

BSD3 licensed by Matt Noonan

gdp: Ghosts of Departed Proofs

Depends on 3 packages:
Used by 1 package:
comments powered byDisqus