検索結果
ナビゲーションに移動
検索に移動
このウィキでページ「Agda」を新規作成しましょう。検索で見つかった他のページも参照してください。
- Wikipedia:Proof assistant も参照。 Agda — 依存型・関数型プログラミング言語・プルーフアシスタント。直感的に証明を書いてチェックできます。 https://wiki.portal.chalmers.se/agda/ || agda Coq — 形式証明管理システム。数学主題と実行48キロバイト (6,478 語) - 2023年4月5日 (水) 17:16
- Wikipedia:Proof assistant も参照。 Agda — 依存型・関数型プログラミング言語・プルーフアシスタント。直感的に証明を書いてチェックできます。 https://wiki.portal.chalmers.se/agda/ || agda Coq — 形式証明管理システム。数学主題と実行4キロバイト (60,919 語) - 2020年8月2日 (日) 08:48