8000 feat: use `nondep` flag in `Expr.letE` and `LocalContext.ldecl` by kmill · Pull Request #8804 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: use nondep flag in Expr.letE and LocalContext.ldecl#8804

Merged
kmill merged 5 commits intoleanprover:masterfrom
kmill:kmill_ldecl_nondep
Jun 22, 2025
Merged

feat: use `nondep` flag in `Expr.letE` and `LocalContext.ldecl`#8804
kmill merged 5 commits intoleanprover:masterfrom
kmill:kmill_ldecl_nondep

Commits

Commits on Jun 22, 2025
0