This is the command gwhy-bin 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:
NUME
de ce - Un instrument de verificare în mai multe limbi pentru dovezi multiple
REZUMAT
de ce [ Opțiuni ] fișiere
DESCRIERE
de ce este un instrument de verificare. Este nevoie de programe adnotate ca intrare (în sintaxa ML sau C) și
emite condiții de verificare pentru mai mulți asistenți de probă (Coq, PVS, HOL Light, Mizar)
și proceduri de decizie (haRVey, Simplify).
OPŢIUNI
-h Ajutor. Vă va oferi lista completă de opțiuni pentru linia de comandă.
AUTORI
Jean-Christophe. Filliatre <[e-mail protejat]>
Use gwhy-bin online using onworks.net services