Aceasta este comanda de ce poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
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 <filliatr@lri.fr>
Folosiți de ce online folosind serviciile onworks.net