EnglezăFrancezăSpaniolă

Rulați servere | Ubuntu > | Fedora > |


Favicon OnWorks

gwhy - Online în cloud

Rulați gwhy în furnizorul de găzduire gratuit OnWorks prin Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS

Aceasta este comanda gwhy care 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>

Utilizați gwhy online folosind serviciile onworks.net


Ad


Ad