8000 feat: improve error behavior of `end` command by jrr6 · Pull Request #8387 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: improve error behavior of end command#8387

Merged
jrr6 merged 11 commits intoleanprover:masterfrom
jrr6:end-error-messages
Jun 20, 2025
Merged

feat: improve error behavior of `end` command#8387
jrr6 merged 11 commits intoleanprover:masterfrom
jrr6:end-error-messages

Commits

Commits on Jun 11, 2025

Commits on Jun 12, 2025

Commits on Jun 19, 2025
0