यह कमांड coq_makefile है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे कि उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।
कार्यक्रम:
नाम
coq_makefile - Coq प्रूफ सहायक मेकफ़ाइल जनरेटर
SYNOPSIS
coq_makefile [ तर्क ]
वर्णन
coq_makefile Coq प्रूफ विकास के लिए एक मेकफ़ाइल जनरेटर है।
विकल्प
-h आपको coq_makefile के विकल्पों की पूरी सूची का विवरण देगा।
onworks.net सेवाओं का उपयोग करके ऑनलाइन coq_makefile का उपयोग करें