Skip to content

fix: validate proof state before accepting level completion - #455

Open
Ocean-Moist wants to merge 1 commit into
leanprover-community:mainfrom
Ocean-Moist:fix/false-editor-completion
Open

fix: validate proof state before accepting level completion#455
Ocean-Moist wants to merge 1 commit into
leanprover-community:mainfrom
Ocean-Moist:fix/false-editor-completion

Commits

Commits on Mar 3, 2026