Yirmibir / alt-ergo

Automatic theorem prover dedicated to program verification

•     Debian OCaml Maintainers
•     debian-ocaml-maint@lists.debian.org
•     http://alt-ergo.lri.fr
•     2.0.0-7+b4
•     alt-ergo_2.0.0-7+b4_amd64.deb
•     1.9 MiB
•     math
•     amd64
•      alt-ergo_2.0.0-7.debian.tar.xz
            alt-ergo_2.0.0-7.dsc
            alt-ergo_2.0.0.orig.tar.gz
•     Debian Versiyonu: 2.0.0-7+b4
•     Automatic theorem prover dedicated to program verification

Diğer Pardus sürümlerindeki versiyonlar