Este es el comando prover9-mace4 que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
prover9-mace4: interfaz gráfica de prueba de teoremas para Prover9 y Mace4
SINOPSIS
prover9-mace4
DESCRIPCIÓN
Esta página de manual documenta brevemente la prover9-mace4 mando.
prover9-mace4 es una interfaz gráfica de usuario (GUI) para el prover9(1) demostrador de teoremas y el
mace4(1) generador de contramodelo.
USO
Las instrucciones de uso se pueden encontrar dentro del programa a través del Ayuda .
Use prover9-mace4 en línea usando los servicios de onworks.net
