profound 0.4.2
| License | MIT | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Homepage | http://chaudhuri.info/software/profound/ | |||||||||||||||||||||
| Maintainer | kaustuv@chaudhuri.info | |||||||||||||||||||||
| Dependencies |
|
|||||||||||||||||||||
| OCaml | >= 4.00.1 | |||||||||||||||||||||
| Published | Jul 22, 2013 | |||||||||||||||||||||
| Source [http] |
https://github.com/chaudhuri/profound/archive/v0.4.2.tar.gz 52f2c3d963cb0497c18ef64185ff6df7 |
|||||||||||||||||||||
| 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 |