coqmktop - क्लाउड में ऑनलाइन

कार्यक्रम:

नाम

coqmktop - Coq प्रूफ सहायक उपयोगकर्ता-रणनीति लिंकर

SYNOPSIS

coqmktop [ विकल्पों ] फ़ाइलों

वर्णन

coqmktop उपयोगकर्ता-रणनीति के साथ विस्तारित एक नया Coq टॉपलेवल बनाता है। फ़ाइलों उद्देश्य हैं
Caml ऑब्जेक्ट या लाइब्रेरी फ़ाइलें (अर्थात् प्रत्यय .cmo, .cmx, .cma या .cmxa के साथ) से लिंक करने के लिए
कॉक सिस्टम. लिंकर एक निष्पादन योग्य Coq टॉपलेवल उत्पन्न करता है जिसे सीधे कॉल किया जा सकता है
या के माध्यम से सीओक्यूसी(1), -इमेज विकल्प का उपयोग करके।

विकल्प

-h मदद करना। उपलब्ध विकल्पों की सूची बनाएं.

-srcdir दीर
निर्दिष्ट करें कि Coq स्रोत फ़ाइलें कहाँ हैं

-o कार्यकारी-फ़ाइल
परिणामी टॉपलेवल का नाम निर्दिष्ट करें

-आय मूल कोड में संकलित करें

-full उच्च स्तरीय रणनीति लिंक करें

-top Ocaml टॉपलेवल पर Coq बनाएँ (इसके साथ असंगत)। -आय)

-R दीर Ocaml के लिए पुनरावर्ती निर्देशिका निर्दिष्ट करें

-v8 V8 व्याकरण से लिंक करें

onworks.net सेवाओं का उपयोग करके ऑनलाइन coqmktop का उपयोग करें