Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen Why2html komutudur.
Program:
ADI
neden - Çok dilli, çok kanıtlı bir doğrulama aracı
SİNOPSİS
neden [ seçenekleri ] Dosyaları
TANIM
neden bir doğrulama aracıdır. Açıklamalı programları girdi olarak alır (ML veya C sözdiziminde) ve
birkaç prova yardımcısı (Coq, PVS, HOL Light, Mizar) için doğrulama koşulları çıktısı verir
ve karar prosedürleri (haRVey, Simplify).
SEÇENEKLER
-h Yardım. Size komut satırı seçeneklerinin tam listesini verecektir.
YAZARLAR
Jean-Christophe Filiatre <filliatr@lri.fr>
onworks.net hizmetlerini kullanarak Why2html'yi çevrimiçi kullanın