HOL 7
HOL кратко от по-висш порядък Logic е програмна среда, в която теореми може да бъде доказано и инструменти се отварят изпълнени.Вградени процедури решения и теорема доказващите може автоматично да създават много прости теореми. Механизъм Наложеното дава...