นี่คือคำสั่ง coqtop.opt ที่สามารถเรียกใช้ในผู้ให้บริการโฮสติ้งฟรีของ OnWorks โดยใช้หนึ่งในเวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
coqtop.opt - รหัสดั้งเดิม Coq toplevel
เรื่องย่อ
coqopt.opt [ ตัวเลือก ] [ ไฟล์ ]
DESCRIPTION
coqopt.opt เป็นเวอร์ชันรหัสเนทีฟของ Coq ไม่ควรเรียกโดยตรงแต่เท่านั้น
by คอคท็อป และ ค็อกซี
ใช้ coqtop.opt ออนไลน์โดยใช้บริการ onworks.net