Installlion's Logo

Installlion.com

How To Install alt-ergo on stretch

To install alt-ergo just follow these instructions.

Install alt-ergo

Automatic theorem prover dedicated to program verification Debian 9.0 math 1.30-1

sudo apt-get install alt-ergo

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

Package Data

Package alt-ergo
Version 1.30-1
Maintainer Debian OCaml Maintainers
Description Automatic theorem prover dedicated to program verification
Distro debian
Release stretch
Repo main
Section math

Dependencies