Skip to content

fix: typo in VCGen/Tutorial.lean - #746

Open
i-love-lean wants to merge 1 commit into
leanprover:mainfrom
i-love-lean:main
Open

fix: typo in VCGen/Tutorial.lean#746
i-love-lean wants to merge 1 commit into
leanprover:mainfrom
i-love-lean:main

Commits

Commits on Jan 12, 2026