検索結果

このウィキでページ「Coq」を新規作成しましょう。検索で見つかった他のページも参照してください。

• アプリケーション一覧/サイエンス
  chalmers.se/agda/ || agda Coq — 形式証明管理システム。数学主題と実行アルゴリズム、定理を記述するための形式言語を備えており、機械的に証明をチェックする半自動な開発環境を実現します。 https://coq.inria.fr/ || CLI: coq, GUI: coqide Isabelle
  48キロバイト (6,478 語) - 2023年4月5日 (水) 17:16
• OpenPGP-card-tools
  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 Isabelle
  4キロバイト (60,928 語) - 2020年8月2日 (日) 08:48