זוהי הפקודה coqtop.opt שניתן להריץ בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
coqtop.opt - ה-Native-code Coq toplevel
תַקצִיר
coqopt.opt [ אפשרויות ] [ פילה ]
תיאור
coqopt.opt היא גרסת הקוד המקורי של Coq. אין להתקשר אליו ישירות, אלא רק
by coqtop ו coqc
השתמש ב-coqtop.opt באינטרנט באמצעות שירותי onworks.net
