Aceasta este comanda hol-light 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
hol-light - demonstrator interactiv de teoreme HOL Light
REZUMAT
hol-light [Opțiuni...]
DESCRIERE
Comanda hol-light este un simplu pachet pentru apeluri ocaml și încărcarea luminii HOL
definiții de bază (prin încărcare /usr/share/hol-light/hol.ml în loc de .ocamlinit as
fişier de iniţializare). Încărcarea acestor definiții durează aproximativ 2 minute pe hardware-ul modern,
te rog fii rabdator. Toate opțiunile și alte argumente sunt transmise ca opțiuni către ocaml.
Dacă aveți o readline-editor precum rlwrap, spus or rlfe instalat, hol-light ocaml
nivelul superior este învelit readline-editor. Instalați doar unul dintre acești editori readline sau
configurați-l pe cel preferat prin sistemul alternativ.
Utilizați hol-light online folosind serviciile onworks.net