Zennta
ログイン
会員登録
検索
後で読む
お気に入り
お気に入りグループ
検索
Qiita一覧
Zenn一覧
お問い合わせフォーム
利用規約
プライバシーポリシー
記事がありません
1
Coqで証明 順序を保つ写像
Coqで証明 関数に関する証明
Coqで証明 述語論理 スコープに関する命題の続き
Coqで証明 述語論理 スコープに関する命題
Coqで証明 述語論理 ド・モルガンの法則
Coqで証明 排中律周辺の命題
Coqで証明 二重否定周りの証明
Coqで排中律の二重否定を証明（を一般化）
coqのandとorを含む命題
CoqのFixpointと帰納法を用いた証明
CoqのInductiveとDefinition
Coqで排中律の二重否定を証明
Coqで証明
1