• en

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