Aceasta este comanda coqtop.opt 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
coqtop.opt - Codul nativ Coq toplevel
REZUMAT
coqopt.opt [ Opțiuni ] [ fişier ]
DESCRIERE
coqopt.opt este versiunea de cod nativ a lui Coq. Nu trebuie chemat direct, ci numai
by coqtop și coqc
Utilizați coqtop.opt online folosind serviciile onworks.net