Ondokuz / alt-ergo

Automatic theorem prover dedicated to program verification

•     Debian OCaml Maintainers
•     [email protected]
•     http://alt-ergo.lri.fr
•     2.0.0-3
•     alt-ergo_2.0.0-3_amd64.deb
•     3.9 MiB
•     math
•     amd64
•      alt-ergo_2.0.0-3.debian.tar.xz
            alt-ergo_2.0.0-3.dsc
            alt-ergo_2.0.0.orig.tar.gz
•     Debian Versiyonu: 2.0.0-3
•     Automatic theorem prover dedicated to program verification

Diğer Pardus sürümlerindeki versiyonlar