hol-ışık
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 hol-light komutudur.
Program:
ADI
hol-light - HOL Light etkileşimli teoremi ispatlayıcı
SİNOPSİS
hol-ışık [seçenekler...]
AÇIKLAMA
Komuta hol-ışık aramak için basit bir sarmalayıcıdır ocaml ve HOL Light'ı yükleme
temel tanımlar (yükleyerek /usr/share/hol-light/hol.ml yerine .ocamlinit as
başlatma dosyası). Bu tanımların yüklenmesi modern donanımda yaklaşık 2 dakika sürer,
lütfen sabırlı olun. Tüm seçenekler ve diğer argümanlar, seçenekler olarak iletilir. ocaml.
Bir varsa okuma satırı editörü gibi sarma, söz konusu or rlfe yüklü hol-ışık ocaml
üst seviye sarılmış okuma satırı editörü. Bu okuma satırı düzenleyicilerinden yalnızca birini yükleyin veya
tercih ettiğiniz sistemi alternatif sistem üzerinden yapılandırın.
onworks.net hizmetlerini kullanarak hol-light'ı çevrimiçi kullanın
