Installlion's Logo

Installlion.com

How To Install prover9 on jessie

To install prover9 just follow these instructions.

Install prover9

theorem prover and countermodel generator Debian 8.0 math 0.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
Descriptiontheorem prover and countermodel generator
Distrodebian
Releasejessie
Repomain
Sectionmath

Dependencies