Questo è il comando prooftrans che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici postazioni di lavoro online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
prooftrans - strumento per trasformare le prove di Prover9
SINOSSI
trans.bozze [genitori_solo] [espandere] [rinumerare] [etichette a strisce] [-f filetto]
trans.bozze XML [espandere] [rinumerare] [etichette a strisce] [-f filetto]
trans.bozze edera [rinumerare] [-f filetto]
trans.bozze suggerimenti [-etichetta etichetta] [espandere] [etichette a strisce] [-f filetto]
trans.bozze taggato [-f filetto]
DESCRIZIONE
Questa pagina di manuale documenta brevemente il trans.bozze comando.
trans.bozze può estrarre prove da prover9(1) file di output e trasformarli in vari
modi.
VERSIONI
Di seguito è riportato un riepilogo delle opzioni.
rinumerare
Rinumera i passaggi.
genitori_solo
Semplifica le giustificazioni elencando solo i genitori.
espandere Espandi tutti i passaggi, trasformando le giustificazioni secondarie in passaggi espliciti.
xml Produrre prove in XML.
edera Produrre prove per il controllo da parte del correttore di prove IVY.
suggerimenti Produrre suggerimenti per guidare le ricerche successive.
tagged Produrre prove in un formato tag strutturato.
-etichetta etichetta
Associa gli attributi dell'etichetta alle clausole di suggerimento costituite dalla stringa etichetta e
numero di sequenza generato da prooftrans.
-f filetto
Prendi input da filetto invece che dall'input standard.
Usa prooftrans online utilizzando i servizi onworks.net
