HOL
HOL(Higher Order Logic)
高階述語論理
(Higher Order Logic)がなぜかそのまま定理証明支援系の言語名になっているやつ
公式ページ:
HOL Interactive Theorem Prover
HOL (proof assistant) - Wikipedia
関連
HOL Light
#定理証明支援系
#形式手法