Frama-C (23)、Why3、および Coq を macOS にインストールした後、次のコマンドを実行しました
rm -f ~/.why3.conf ; why3 config detect
以下のメッセージが表示されました
Found prover Coq version 8.10.2, but no Why3 libraries were compiled for it
- これは Frama-C で coq を使用できないということですか?
- 上記のWhy3ライブラリをコンパイルするようにopamに指示するにはどうすればよいですか?
よろしく