Skip to content
GitLab
Explore
Sign in
Register
curry-packages
contract-prover
Tags
v0.0.1
v0.0.1
Michael Hanus
@mh
3225de17
·
Stores successful postcondition proofs in "PROOF_" files
·
Oct 29, 2018
v0.0.1