นี่คือคำสั่ง caduceus ที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้เวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
ทำไม - เครื่องมือยืนยันผู้พิสูจน์หลายภาษาหลายภาษา
เรื่องย่อ
ทำไม [ ตัวเลือก ] ไฟล์
DESCRIPTION
ทำไม เป็นเครื่องมือตรวจสอบ ใช้โปรแกรมที่มีคำอธิบายประกอบเป็นอินพุต (ในรูปแบบ ML หรือ C) และ
แสดงเงื่อนไขการตรวจสอบสำหรับผู้ช่วยพิสูจน์หลายคน (Coq, PVS, HOL Light, Mizar)
และขั้นตอนการตัดสินใจ (haRVey, Simplify)
OPTIONS
-h ช่วย. จะให้รายการตัวเลือกบรรทัดคำสั่งทั้งหมดแก่คุณ
ผู้เขียน
ฌอง-คริสตอฟ ฟิลเลอร์ <[ป้องกันอีเมล]>
ใช้ caduceus ออนไลน์โดยใช้บริการ onworks.net
