profound
Interactive proof exploration based on formula linking
| License | MIT |
|---|---|
| Homepage | http://chaudhuri.info/software/profound/ |
| Maintainer | kaustuv@chaudhuri.info |
| OCaml | >= 4.00.1 |
Events
Jul 22, 2013
Published version 0.4.2
| License | MIT |
|---|---|
| Homepage | http://chaudhuri.info/software/profound/ |
| Maintainer | kaustuv@chaudhuri.info |
| OCaml | >= 4.00.1 |
Published version 0.4.2