Platform for deductive program verification
Screenshots
-
why3-1.5.0
~amd64
coq doc emacs gtk +ocamlopt re sexp stackify +zarith zip +ocamlopt
View 
Download 
Browse License: LGPL-2
-
why3-1.4.1
~amd64
coq doc emacs gtk +ocamlopt re sexp +zarith zip +ocamlopt
View Download Browse License: LGPL-2
-
why3-1.4.0-r2
~amd64
coq doc emacs gtk +ocamlopt re sexp +zarith zip +ocamlopt
View Download Browse License: LGPL-2
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.
