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