sci-mathematics/why3
Platform for deductive program verification
-
why3-1.8.2~amd64coq doc emacs gtk +ocamlopt re sexp stackify zip +ocamlopt
View
Download
Browse License: LGPL-2
Overlay: gentoo -
why3-1.8.1~amd64coq doc emacs gtk +ocamlopt re sexp stackify zip +ocamlopt
View
Download
Browse License: LGPL-2
Overlay: gentoo -
why3-1.8.0~amd64coq doc emacs gtk +ocamlopt re sexp stackify zip +ocamlopt
View
Download
Browse License: LGPL-2
Overlay: gentoo