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