ご想像のとおり、ACL2 を使用してコードを証明する方法に関するリソースはたくさんありますが、証明済みのコードを運用環境で使用する方法に関するリソースはありません。
CLISP/Scheme/Clojure で動作するように ACL2 コードを微調整する必要がありますか? ACL2 も私のコードを実行できますか? （チュートリアルはどこにありますか、その目的に従ってではなく、ACL2を使用していますか？）
ありがとう！
質問する
117 次
ご想像のとおり、ACL2 を使用してコードを証明する方法に関するリソースはたくさんありますが、証明済みのコードを運用環境で使用する方法に関するリソースはありません。
CLISP/Scheme/Clojure で動作するように ACL2 コードを微調整する必要がありますか? ACL2 も私のコードを実行できますか? （チュートリアルはどこにありますか、その目的に従ってではなく、ACL2を使用していますか？）
ありがとう！