EnglishFrenchSpanish

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


ไอคอน Fav ของ OnWorks

ทำไมสถิติ - ออนไลน์ในคลาวด์

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

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

โครงการ:

ชื่อ


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

เรื่องย่อ


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

DESCRIPTION


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

OPTIONS


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

ผู้เขียน


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

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


Ad


Ad