Agdaとは
Agdaは、依存型・定理証明に分類される形式手法・仕様記述向けの言語または記法です。利用場面の広さは「中」相当の項目として整理しています。このページでは、用途の見当をつけるための入口として分類と関連情報をまとめています。
| 項目 | 内容 |
|---|---|
| 名称 | Agda |
| 分類 | 依存型・定理証明 |
| カテゴリ | 形式手法・証明・論理 |
| 状態 | 参考情報少なめ |
読むポイント
Section titled “読むポイント”- どの製品、仕様、ツール、教材の文脈で登場する名前かを見る
- 現在使うものか、古いコードや資料を読むためのものかを切り分ける
- 公式サイト、仕様書、実装例、パッケージ情報がある場合はそこから読み始める
公式・参照情報
Section titled “公式・参照情報”- 公式サイト: 未登録