Ubuntu Online, Fedora Online, Windows online emulator അല്ലെങ്കിൽ MAC OS ഓൺലൈൻ എമുലേറ്റർ എന്നിങ്ങനെയുള്ള ഞങ്ങളുടെ ഒന്നിലധികം സൗജന്യ ഓൺലൈൻ വർക്ക്സ്റ്റേഷനുകളിലൊന്ന് ഉപയോഗിച്ച് OnWorks സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവിൽ പ്രവർത്തിപ്പിക്കാൻ കഴിയുന്ന കമാൻഡ് ഗലീനയാണിത്.
പട്ടിക:
NAME
gallina - Coq പ്രാദേശിക ഫയലുകളിൽ നിന്ന് സ്പെസിഫിക്കേഷൻ വേർതിരിച്ചെടുക്കുന്നു
സിനോപ്സിസ്
കോഴി [ - ] [ -stdout ] [ -അഭിപ്രായങ്ങളൊന്നും ഇല്ല ] ഫയല് ...
വിവരണം
കോഴി Coq ഫയലുകൾ ആർഗ്യുമെന്റുകളായി എടുക്കുകയും അനുബന്ധ സ്പെസിഫിക്കേഷൻ ഫയലുകൾ നിർമ്മിക്കുകയും ചെയ്യുന്നു.
Coq ഫയൽ foo.v സ്പെസിഫിക്കേഷൻ ഫയലിന് ബെർത്ത് നൽകുന്നു foo.g '.g' എന്ന പ്രത്യയം നിലകൊള്ളുന്നു
ഗലീനയ്ക്ക്.
അതിനായി, ഗലീന ഒരു "തിയറിം", "ലെമ്മ", "ഫാക്റ്റ്" എന്നിവ പിന്തുടരുന്ന എല്ലാ കമാൻഡുകളും നീക്കം ചെയ്യുന്നു.
"Abort", "Save", "Qed" എന്ന കമാൻഡിൽ എത്തുന്നത് വരെ "Remark" അല്ലെങ്കിൽ "Gal" പ്രസ്താവന.
"നിർവചിച്ചു." അല്ലെങ്കിൽ "തെളിവ് <...>.". ഇത് എല്ലാ "സൂചന", "വാക്യഘടന", "ഉടൻ" അല്ലെങ്കിൽ നീക്കം ചെയ്യുന്നു
"സുതാര്യമായ" കമാൻഡ്.
.v സഫിക്സ് ഇല്ലാത്ത ഫയലുകൾ അവഗണിക്കപ്പെടുന്നു.
ഓപ്ഷനുകൾ
-stdout
സ്റ്റാൻഡേർഡ് ഔട്ട്പുട്ടിൽ ഫലം പ്രിന്റ് ചെയ്യുന്നു.
- Coq ഉറവിടം സ്റ്റാൻഡേർഡ് ഇൻപുട്ടിൽ എടുക്കുന്നു. ഫലം സ്റ്റാൻഡേർഡ് ഔട്ട്പുട്ടിൽ അച്ചടിച്ചിരിക്കുന്നു.
-അഭിപ്രായങ്ങളൊന്നും ഇല്ല
*.g ഫയലിൽ അഭിപ്രായങ്ങൾ നീക്കം ചെയ്തു.
കുറിപ്പുകൾ
നെസ്റ്റഡ് കമന്റുകൾ ശരിയായി കൈകാര്യം ചെയ്യുന്നു. പ്രത്യേകിച്ചും, എല്ലാ കമാൻഡും "സംരക്ഷിക്കുക." അല്ലെങ്കിൽ "അബോർട്ട് ചെയ്യുക." ഇൻ
ഒരു അഭിപ്രായം കണക്കിലെടുക്കുന്നില്ല.
onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് ഗലീന ഓൺലൈനായി ഉപയോഗിക്കുക