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