Ubuntu Online, Fedora Online, Windows online emulator അല്ലെങ്കിൽ MAC OS ഓൺലൈൻ എമുലേറ്റർ എന്നിങ്ങനെയുള്ള ഞങ്ങളുടെ ഒന്നിലധികം സൗജന്യ ഓൺലൈൻ വർക്ക്സ്റ്റേഷനുകളിലൊന്ന് ഉപയോഗിച്ച് OnWorks സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവിൽ പ്രവർത്തിപ്പിക്കാവുന്ന coqtop.opt കമാൻഡ് ആണിത്.
പട്ടിക:
NAME
coqtop.opt - നേറ്റീവ്-കോഡ് Coq ടോപ്ലെവൽ
സിനോപ്സിസ്
coqopt.opt [ ഓപ്ഷനുകൾ ] [ ഫയല് ]
വിവരണം
coqopt.opt Coq-ന്റെ നേറ്റീവ് കോഡ് പതിപ്പാണ്. ഇത് നേരിട്ട് വിളിക്കരുത്, മറിച്ച് മാത്രം
by കോക്ടോപ്പ് ഒപ്പം coqc
onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് coqtop.opt ഓൺലൈനായി ഉപയോഗിക്കുക