profound

License MIT
Homepage http://chaudhuri.info/software/profound/
Maintainer kaustuv@chaudhuri.info
Dependencies
& batteries >= 2.0.0
lablgtk
menhir >= 20120123
ocamlbuild
ocamlfind
Available ocaml-version >= "4.00.1"
Published Jul 22, 2013
Source [http] http://github.com/chaudhuri/profound/archive/v0.4.2.tar.gz
52f2c3d963cb0497c18ef64185ff6df7
Statistics Not installed in the last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/profound/profound.0.4.2/opam

Interactive proof exploration based on formula linking

No package is dependent