Skip to content

Fix typos in how_to_contradiction.v - #134

Open
amblafont wants to merge 1 commit into
rocq-prover:mainfrom
amblafont:patch-2
Open

Fix typos in how_to_contradiction.v#134
amblafont wants to merge 1 commit into
rocq-prover:mainfrom
amblafont:patch-2

Commits

Commits on Aug 14, 2026