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
Run dependencies