Questo è il comando fof-prover9 che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
ladr4-apps - applicazioni LADR4 non documentate
DESCRIZIONE
Alcuni programmi in app ladr4 pacchetto attualmente non ha pagine di manuale. Puoi ottenere
documentazione su alcune di queste applicazioni tramite il prover9 manuale, disponibile su
Sistemi Debian tramite il pacchetto prover9-doc, a
/usr/share/doc/prover9-doc/manual/index.html. In alternativa invocando l'applicazione con
, il -Aiuto opzione può produrre documentazione. Le patch per aggiungere pagine di manuale sono benvenute e
può essere inviato al manutentore del pacchetto Debian, i cui dettagli sono elencati di seguito.
Usa fof-prover9 online utilizzando i servizi onworks.net
