2熱
2答えて
Coq証明言語に「それ以上の副目標はありませんが、インスタンス化されていない実在変数がありますか?
1熱
1答えて
2熱
1答えて
1熱
1答えて
Coq aac_tacticsはどこにインストールされていますか?
1熱
1答えて
Coq aac_tacticsの合理性ではなく整数に対しては書き直し
1熱
2答えて
は<a href="https://coq.inria.fr/faq#htoc37" rel="nofollow">Coq FAQ</a>は公理と言うコック
2熱
3答えて
1熱
1答えて
Coq "ローカルアプリケーションの使用"の正しい使い方は何ですか?