Руководство по HOL Light

Материал представляет собой учебное пособие по HOL Light, интерактивной системе доказательства теорем. Инструмент используется для формальной верификации математических доказательств и критически важного программного обеспечения.