自動定理証明
automated theorem proving
プログラムに依って数学的定理に対する
証明
を発見する
主が計算であるソフトウェア向けの手法
ホーア論理
、
Bメソッド
,
OBJ
定理証明系言語
リアクティブシステム
向けの手法
CSP
、
π計算
定理証明系言語
自動定理証明 - Wikipedia
https://en.wikipedia.org/wiki/Automated_theorem_proving
リンク集
https://myuon.github.io/posts/start-learning-proof-assistant/
https://speakerdeck.com/ytaka23/july-tech-festa-2019
https://zenn.dev/mod_poppo/books/haskell-type-level-programming/viewer/theorem-proving
hs