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

fix: validate proof state before accepting level completion

23ec463
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs