web-dev-qa-db-ja.com
/
home
/
日本語
/isabelle
isabelle
Coqと比較したIsabelle証明アシスタントの長所と短所は何ですか？
イザベルの一般的な定義、定理、関数などを検索する最良の方法は何ですか？