@hackage / gdp

Reason about invariants and preconditions with ghosts of departed proofs.

Latest0.0.3.0

About

Metadata

  • Last updated , by mnoonan
  • License BSD-3-Clause
  • Maintained by: matt.noonan@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

gdp: Ghosts of Departed Proofs