名前・画像を変更

Topic

coq

Articles

CoqのInductiveとDefinition

Coqで排中律の二重否定を証明

イキリサバタロウ

coqのandとorを含む命題

Coqで証明　順序を保つ写像

イキリサバタロウ

CoqのFixpointと帰納法を用いた証明

Coqで排中律の二重否定を証明（を一般化）

イキリサバタロウ

Coqで証明

イキリサバタロウ

Coqで証明　排中律周辺の命題

イキリサバタロウ

Coqで証明　述語論理　ド・モルガンの法則

イキリサバタロウ

Coqで証明　述語論理　スコープに関する命題

イキリサバタロウ

Coqで証明　述語論理　スコープに関する命題の続き

イキリサバタロウ

Coqで証明　関数に関する証明

イキリサバタロウ

Coqで証明　二重否定周りの証明

イキリサバタロウ

Books

夏休みの自由研究 Coqで楽しい証明

夏休みの自由研究 Coqで楽しい証明

イキリサバタロウ