Coq4Eclipse เป็นปลั๊กอินสําหรับแพลตฟอร์ม Eclipse ที่ให้อินเทอร์เฟซกับผู้ช่วยพิสูจน์ Coq มันจะสนับสนุนผู้ใช้ด้วยการเน้นไวยากรณ์สิ่งอํานวยความสะดวกการค้นหาสัญลักษณ์ทางคณิตศาสตร์พิมพ์สวย ฯลฯ
ประวัติรุ่น
- เวอร์ชัน N/A โพสต์เมื่อ 2011-08-07
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน N/A โพสต์เมื่อ 2011-08-07
รายละเอียดหลักสูตร
- ประเภท: ศึกษา > อื่นๆ
- Publisher: coq4eclipse.sf.net
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: Array
- แพ ลตฟอร์ม: windows