This is the command prover9-mace4 that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
prover9-mace4 - graphical theorem prover interface for Prover9 and Mace4
SYNOPSIS
prover9-mace4
DESCRIPTION
This manual page documents briefly the prover9-mace4 command.
prover9-mace4 is a graphical user interface (GUI) to the prover9(1) theorem prover and the
mace4(1) countermodel generator.
USAGE
Usage instructions can be found within the program via the Help menu.
Use prover9-mace4 online using onworks.net services