এটি হল coqmktop কমান্ড যা আমাদের একাধিক বিনামূল্যের অনলাইন ওয়ার্কস্টেশন যেমন উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটর ব্যবহার করে OnWorks ফ্রি হোস্টিং প্রদানকারীতে চালানো যেতে পারে।
কার্যক্রম:
NAME এর
coqmktop - Coq প্রুফ সহকারী ব্যবহারকারী-কৌশল লিঙ্কার
সাইনোপিসিস
coqmktop [ অপশন ] নথি পত্র
বর্ণনাঃ
coqmktop ব্যবহারকারী-কৌশল সহ প্রসারিত একটি নতুন Coq শীর্ষ স্তর তৈরি করে। নথি পত্র উদ্দেশ্য হয়
Caml অবজেক্ট বা লাইব্রেরি ফাইল (যেমন প্রত্যয় সহ .cmo, .cmx, .cma বা .cmxa) সাথে লিঙ্ক করতে
Coq সিস্টেম। লিঙ্কার একটি এক্সিকিউটেবল Coq টপলেভেল তৈরি করে যা সরাসরি বলা যেতে পারে
বা মাধ্যমে coqc(1), -image অপশন ব্যবহার করে।
বিকল্প
-h সাহায্য উপলব্ধ বিকল্প তালিকা.
-srcdir Dir
Coq সোর্স ফাইলগুলি কোথায় তা উল্লেখ করুন
-o exec-ফাইল
ফলে টপলেভেলের নাম উল্লেখ করুন
-ও নেটিভ কোডে কম্পাইল করুন
-সম্পূর্ণ উচ্চ স্তরের কৌশল লিঙ্ক করুন
-টপ একটি ocaml টপলেভেলে Coq তৈরি করুন (এর সাথে বেমানান -ও)
-R Dir Ocaml এর জন্য recursively ডিরেক্টরি উল্লেখ করুন
-v8 V8 ব্যাকরণের সাথে লিঙ্ক করুন
onworks.net পরিষেবা ব্যবহার করে অনলাইনে coqmktop ব্যবহার করুন
