# The math/prover9/p9m4 port

## p9m4-05p7 – prover9/mace4 GUI

## Description

    GUI for the LADR (prover9 mace4) tools.

WWW: http://www.cs.unm.edu/%7Emccune/prover9/

Only for arches
  aarch64 aarch64 alpha amd64 amd64 arm arm hppa i386 i386 mips64 mips64 mips64el mips64el powerpc powerpc powerpc64 powerpc64 riscv64 riscv64 sparc64
Categories:
  lang/python math

## Library dependencies

## Build dependencies

- lang/python/3

## Run dependencies

- devel/py-modulegraph
- lang/python/3
- math/prover9/ladr
- x11/py-wxPython