| HOL | |
|---|---|
| Автор | Майкл Гордон[англ.] |
| Расширение файлов |
.sml |
| Лицензия | Modified (3-clause) BSD licence |
| Сайт | hol-theorem-prover.org |
HOL (Higher Order Logic) — семейство инструментов интерактивного доказательства теорем, при создании которых были использованы схожие подходы к построению доказательств, основанные на логике высшего порядка и схожие подходы к реализации. HOL развивает подход системы LCF.