Installion's Lion Logo

Installion.co.uk

How To Install mona On Debian 8

To install mona just follow these instructions.

Install mona

theorem prover based on automataDebian 8.0science1.4-15-1
sudo apt-get install mona

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

Package Data

Packagemona
Version1.4-15-1
MaintainerDebian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Home pagehttp://www.brics.dk/~amoeller/mona/index.html
Descriptiontheorem prover based on automata
Distrodebian
Releasejessie
Repomain
Sectionscience

Dependencies