HOL 7

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

Рекомендуемое программное обеспечение для Linux