profound

Interactive proof exploration based on formula linking
Description
Install
Authors
Sources
v0.4.2.tar.gz
md5=52f2c3d963cb0497c18ef64185ff6df7
Dependencies
batteries
>= "2.0.0"
menhir
>= "20120123"
ocaml
>= "4.00.1" & < "4.08.0"
Reverse Dependencies