ACL2
A Computational Logic for Applicative Common Lisp
Lispで定理証明をするやつ
公式: ACL2 Version 8.5
ドキュメント: XDOC — Documentation
確認用
Q. ACL2
参考
ACL2 - Wikipedia
関連
#形式手法 #定理証明支援系 #Lisp