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