検索結果
ナビゲーションに移動
検索に移動
このウィキでページ「Coq」を新規作成しましょう。検索で見つかった他のページも参照してください。
- chalmers.se/agda/ || agda Coq — 形式証明管理システム。数学主題と実行アルゴリズム、定理を記述するための形式言語を備えており、機械的に証明をチェックする半自動な開発環境を実現します。 https://coq.inria.fr/ || CLI: coq, GUI: coqide Isabelle48キロバイト (6,478 語) - 2023年4月5日 (水) 17:16
- VV+GUA yd+leLeylIySXV7qVwD9H2x5QBrgyF/vODNp1tdorTvPwieV/Bop9FCkHYbHJg8= =cOQ/ -----END PGP MESSAGE----- opgpcard-decrypt(1) を使えば、カードの暗号化スロットを使ってデータを復号することができます。6キロバイト (991 語) - 2023年11月23日 (木) 18:06
- chalmers.se/agda/ || agda Coq — 形式証明管理システム。数学主題と実行アルゴリズム、定理を記述するための形式言語を備えており、機械的に証明をチェックする半自動な開発環境を実現します。 https://coq.inria.fr/ || CLI: coq, GUI: coqide Isabelle4キロバイト (63,055 語) - 2020年8月2日 (日) 08:48