8000 feat: add the `nondep` field of `Expr.letE` to the C++ data model by kmill · Pull Request #8751 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: add the nondep field of Expr.letE to the C++ data model#8751

Merged
kmill merged 7 commits intoleanprover:masterfrom
kmill:kmill_letnondep_data_model
Jun 14, 2025
Merged

feat: add the `nondep` field of `Expr.letE` to the C++ data model#8751
kmill merged 7 commits intoleanprover:masterfrom
kmill:kmill_letnondep_data_model

Commits

Commits on Jun 12, 2025

Commits on Jun 13, 2025
0