第33回 #ProofCafe での練習問題のssreflectを使った解答例。

ProofCafeCoqProofGeneralssreflectCoq
SVG

Coqで鳩の巣原理の証明

ProofCafeCoqCoq
SVG

Equiv_Jの練習問題 WHILE_true

SoftwarefoundationsProofCafeCoqssreflectCoq
SVG

Equiv_Jの練習問題assign_equivの証明 #ProofCafe

SoftwarefoundationsProofCafeCoqssreflectCoq
SVG

AffeldtさんのSsreflect練習問題exo4

ProofCafeCoqssreflectCoq
SVG

AffeldtさんのSsreflectチュートリアルのソースをビルドする

AffeldtProofCafeCoqssreflectCoq
SVG

coqdocで日本語を含むPDFを生成する

coqdocProofCafeCoqplatexCoq
SVG