「Coq」へリンクしているページ
← Coq
以下のページが、Coq にリンクしています:
28件の項目を表示中
- OCaml (← リンク | 編集)
- 四色定理 (← リンク | 編集)
- ペール・マルティン＝レーフ (← リンク | 編集)
- パリ第11大学 (← リンク | 編集)
- フランス国立情報学自動制御研究所 (← リンク | 編集)
- 自動推論 (← リンク | 編集)
- 素集合データ構造 (← リンク | 編集)
- Axiom (数式処理システム) (← リンク | 編集)
- ファイルフォーマット一覧 (← リンク | 編集)
- Agda (← リンク | 編集)
- カリー＝ハワード同型対応 (← リンク | 編集)
- 丸山不二夫 (← リンク | 編集)
- ACMソフトウェアシステム賞 (← リンク | 編集)
- 依存型 (← リンク | 編集)
- 有限単純群の分類 (← リンク | 編集)
- 実現可能性 (論理学) (← リンク | 編集)
- 直観主義型理論 (← リンク | 編集)
- Option型 (← リンク | 編集)
- COQ (← リンク | 編集)
- Idris (プログラミング言語) (← リンク | 編集)
- Lean (証明アシスタント) (← リンク | 編集)
- 利用者:Foxtrot/Agda (← リンク | 編集)
- 利用者:Kiiiino3/直観主義型理論 (← リンク | 編集)
- 利用者:I.hidekazu/ペール・マルティン＝レーフ (← リンク | 編集)
- 利用者:Tlorr/Idris (プログラミング言語) (← リンク | 編集)
- 利用者‐会話:I.hidekazu (← リンク | 編集)
- Portal:コンピュータ/新着項目/2013 (← リンク | 編集)
- Portal:FLOSS/新着項目/2013年 (← リンク | 編集)