sci-mathematics/why3-for-spark
Platform for deductive program verification
-
why3-for-spark-2019-r2~amd64coq doc emacs gtk html hypothesis-selection +ocamlopt zarith zip
View
Download
Browse License: GPL-3
Overlay: gentoo (distro) -
why3-for-spark-2019-r1~amd64coq doc emacs gtk html hypothesis-selection +ocamlopt zarith zip
View
Download
Browse License: GPL-3
Overlay: gentoo (distro)