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