Isabelle
Isabelle(イザベル)
定理証明支援系の一つ
公式ページ:
Overview
ドキュメント:
Documentation
Isabelleを書く
Isabelleによるプログラム検証の例
Isabelle/HOLの基本 その1 - The curse of λ
Go を書きながら定理を書く安心開発スタイル | DeNA TechCon 2021 - 技術の力で事業の未来をリードする -
Isabelle ゆるリファレンス（apply-scriptスタイル） - 若くない何かの悩み
Isabelle入門の入門 - Qiita
Isabelle/HOL
Isabelle/HOL-Z
Isabelle/Isar
#定理証明支援系
#形式手法