OCaml logo

profound

Interactive proof exploration based on formula linking
Description
Install
http://chaudhuri.info/software/profound/
Authors
Maintainers
Sources
v0.4.2.tar.gz 
md5=52f2c3d963cb0497c18ef64185ff6df7
Dependencies
ocamlbuild 
build
batteries 
>= "2.0.0"
menhir 
>= "20120123"
lablgtk
ocamlfind
ocaml 
>= "4.00.1" & < "4.08.0"
Reverse Dependencies