Installion's Lion Logo

Installion.co.uk

How To Install prover9 On Debian 8

To install prover9 just follow these instructions.

Install prover9

theorem prover and countermodel generatorDebian 8.0math0.0.200911a-2.1
sudo apt-get install prover9

Which will install prover9 and any other packages on which it depends.

Package Data

Packageprover9
Version0.0.200911a-2.1
MaintainerDebian QA Group <packages@qa.debian.org>
Home pagehttp://www.cs.unm.edu/~mccune/mace4/
Descriptiontheorem prover and countermodel generator
Distrodebian
Releasejessie
Repomain
Sectionmath

Dependencies