profound

Interactive proof exploration based on formula linking
Description
Install
Published
21 Nov 2013
Authors
Maintainers
Sources
v0.4.2.tar.gz
md5=52f2c3d963cb0497c18ef64185ff6df7
Dependencies
batteries >= "2.0.0"
menhir >= "20120123"
ocaml >= "4.00.1" & < "4.08.0"
Reverse Dependencies