Isabelle/HOL
HOL
(Higher Order Logic)
高階述語論理
がベースの定理証明支援系
Isabelle/HOL-Z
tutorial.pdf
Isabelle/HOLの基本 その1 - The curse of λ
Isabelleを書く
確認用
Q. Isabelle,HOL
参考
関連
WebAssembly - Archive of Formal Proofs