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