8000 feat: make `let` and `have` term syntaxes be consistent by kmill · Pull Request #8914 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: make let and have term syntaxes be consistent#8914

Merged
kmill merged 3 commits intoleanprover:masterfrom
kmill:kmill_merge_let_have
Jun 22, 2025
Merged

feat: make `let` and `have` term syntaxes be consistent#8914
kmill merged 3 commits intoleanprover:masterfrom
kmill:kmill_merge_let_have

Commits

Commits on Jun 21, 2025

Commits on Jun 22, 2025
0