EnglishFrenchSpanish

เรียกใช้เซิร์ฟเวอร์ | Ubuntu > | Fedora > |


ไอคอน Fav ของ OnWorks

gwhy - ออนไลน์ในคลาวด์

เรียกใช้ gwhy ในผู้ให้บริการโฮสต์ฟรีของ OnWorks ผ่าน Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS

นี่คือคำสั่ง gwhy ที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้เวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS

โครงการ:

ชื่อ


ทำไม - เครื่องมือยืนยันผู้พิสูจน์หลายภาษาหลายภาษา

เรื่องย่อ


ทำไม [ ตัวเลือก ] ไฟล์

DESCRIPTION


ทำไม เป็นเครื่องมือตรวจสอบ ใช้โปรแกรมที่มีคำอธิบายประกอบเป็นอินพุต (ในรูปแบบ ML หรือ C) และ
แสดงเงื่อนไขการตรวจสอบสำหรับผู้ช่วยพิสูจน์หลายคน (Coq, PVS, HOL Light, Mizar)
และขั้นตอนการตัดสินใจ (haRVey, Simplify)

OPTIONS


-h ช่วย. จะให้รายการตัวเลือกบรรทัดคำสั่งทั้งหมดแก่คุณ

ผู้เขียน


ฌอง-คริสตอฟ Filliatre <filliatr@lri.fr>

ใช้ gwhy ออนไลน์โดยใช้บริการ onworks.net


Ad


Ad