Installion's Lion Logo

Installion.co.uk

How To Install alt-ergo On Debian 9

To install alt-ergo just follow these instructions.

Install alt-ergo

Automatic theorem prover dedicated to program verificationDebian 9.0math1.30-1
sudo apt-get install alt-ergo

Which will install alt-ergo and any other packages on which it depends.

Package Data

Packagealt-ergo
Version1.30-1
MaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Home pagehttp://alt-ergo.lri.fr
DescriptionAutomatic theorem prover dedicated to program verification
Distrodebian
Releasestretch
Repomain
Sectionmath

Dependencies