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