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