profoundversion

Interactive proof exploration based on formula linking

LicenseMIT
Published
Homepagehttp://chaudhuri.info/software/profound/
Maintainerkaustuv@chaudhuri.info
Dependencies
Source [http] https://github.com/chaudhuri/profound/archive/v0.4.2.tar.gz
md5=52f2c3d963cb0497c18ef64185ff6df7
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/profound/profound.0.4.2/opam
No package is dependent