BSD Ports

math/prover9/p9m4 05p7 OpenBSD

prover9/mace4 GUI

System
OpenBSD
Repository
OpenBSD ports
Maintainer
The OpenBSD ports mailing-list <[email protected]>
Categories
math, lang/python

Description

GUI for the LADR (prover9 mace4) tools.

Install

Binary package:

pkg_add p9m4

From the ports tree:

cd /usr/ports/math/prover9/p9m4 && make install

Dependencies

Build dependencies 1
Run dependencies 4
Required by 1