Agda
依存型理論
を使用してかつ
関数型言語
であるとのこと
定理証明支援系
Per Martin-Löf
Haskell
で実装されている
GitHub:
agda/agda: Agda is a dependently typed programming language / interactive theorem prover.
Wiki:
The Agda Wiki
確認用
Q. Agda
参考
Agda 入門
関連
調査用
/pogi-log/Google.icon
Agda
/pogi-log/Wikipedia.icon
Agda - Wikipedia(日)
Agda(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
Agda - Wikipedia(英)
Agda(検索) - Wikipedia(英)
#Fleeting_Notes
#定理証明支援系