זוהי הפקודה coq_makefile שניתן להריץ בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
coq_makefile - מחולל הקבצים של Coq Proof Assistant
תַקצִיר
coq_makefile [ טיעונים ]
תיאור
coq_makefile הוא מחולל makefile לפיתוחי הוכחה ב-Coq.
אפשרויות
-h ייתן לך תיאור של כל רשימת האפשרויות של coq_makefile.
השתמש ב-coq_makefile באופן מקוון באמצעות שירותי onworks.net
