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