JA
EN
数学のたな
0
0
型理論 | 数学のたな
分野一覧へ
型理論
型、構成、証明とプログラムの対応を扱う基礎言語。
命題 0個
命題カードは登録されていません。