profoundversion
Interactive proof exploration based on formula linking
| License | MIT |
|---|---|
| Published | |
| Homepage | http://chaudhuri.info/software/profound/ |
| Maintainer | kaustuv@chaudhuri.info |
| Dependencies | |
| Source [http] | https://github.com/chaudhuri/profound/archive/v0.4.2.tar.gz sha256=56c843e1e1c5c5995ab9756a68435fa68b505b69e5f8d839637736cd0bd14a5d md5=52f2c3d963cb0497c18ef64185ff6df7 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/profound/profound.0.4.2/opam |
No package is dependent
