HOL 7

HOL суть від вищих порядків логіки середовище програмування, в якій теореми можуть бути доведені і доказ інструменти реалізації.Вбудовані процедури ухвалення та доведення теорем може автоматично встановити багато простих теорем. Механізм Oracle надає...
Безкоштовно завантажити HOL для LINUX (tar.gz)

Рекомендоване програмне забезпечення для Linux