Questo è il comando caduceus 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
why - Uno strumento di verifica multi-prover multilingua
SINOSSI
perché [ Opzioni ] file
DESCRIZIONE
perché è uno strumento di verifica. Richiede programmi annotati come input (nella sintassi ML o C) e
emette condizioni di verifica per diversi assistenti di prova (Coq, PVS, HOL Light, Mizar)
e procedure decisionali (haRVey, Simplify).
VERSIONI
-h Aiuto. Ti darà l'elenco completo delle opzioni della riga di comando.
AUTORI
Jean-Christophe Filiatre <[email protected]>
Usa caduceo online utilizzando i servizi onworks.net
