এটি coqtop.opt কমান্ড যা আমাদের একাধিক বিনামূল্যের অনলাইন ওয়ার্কস্টেশন যেমন উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটর ব্যবহার করে OnWorks ফ্রি হোস্টিং প্রদানকারীতে চালানো যেতে পারে।
কার্যক্রম:
NAME এর
coqtop.opt - নেটিভ কোড Coq টপলেভেল
সাইনোপিসিস
coqopt.opt [ অপশন ] [ ফাইল ]
বর্ণনাঃ
coqopt.opt Coq এর নেটিভ-কোড সংস্করণ। এটা সরাসরি বলা উচিত নয়, কিন্তু শুধুমাত্র
by কোকটপ এবং coqc
onworks.net পরিষেবা ব্যবহার করে coqtop.opt অনলাইন ব্যবহার করুন