HOL - ซอฟแวร์ฟรีดาวน์โหลด เพื่อ Linux

HOL 7

HOL สั้น ๆ จากที่สูงขึ้นการสั่งซื้อลอจิกเป็นสภาพแวดล้อมการเขียนโปรแกรมที่ทฤษฎีบทสามารถพิสูจน์หลักฐานและเครื่องมือในการดำเนินการในการสร้างขั้นตอนการตัดสินใจและ provers ทฤษฎีบทโดยอัตโนมัติสามารถสร้างทฤษฎีง่าย ๆ อีกมากมาย...