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