coqc - מקוון בענן

תָכְנִית:

שֵׁם

coqc - מהדר Coq Proof Assistant

תַקצִיר

coqc [ כללי זין אפשרויות ] פילה

תיאור

coqc הוא מהדר האצווה עבור Coq Proof Assistant. האפשרויות הן בעצם ה
אותו הדבר כמו coqtop(1). file.v הוא הקובץ העממי שיש להדר. פילה חייב להיווצר בלבד
עם התווים `a` עד `Z`, `0`-`9` או `_` וחייבים להתחיל באות. ה
מהדר מייצר קובץ אובייקט file.vo.

לשימוש אינטראקטיבי ב-Coq, ראה coqtop(1).

אפשרויות

coqc הוא סקריפט שפשוט פועל coqtop עם אפשרות -לְלַקֵט הוא מקבל את אותן אפשרויות
as coqtop.

-תמונה בן
להשתמש בן כבסיס coqtop במקום ברירת המחדל.

-שורש
להדפיס את הקובץ הקומפילציה על הפלט הסטנדרטי.

השתמש ב-coqc באינטרנט באמצעות שירותי onworks.net