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