8000 feat: add `Meta.letToHave` and the `let_to_have` tactic by kmill · Pull Request #8954 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: add Meta.letToHave and the let_to_have tactic#8954

Merged
kmill merged 1 commit intoleanprover:masterfrom
kmill:kmill_letToHave_init
Jun 24, 2025
Merged

feat: add `Meta.letToHave` and the `let_to_have` tactic#8954
kmill merged 1 commit intoleanprover:masterfrom
kmill:kmill_letToHave_init

Commits

Commits on Jun 24, 2025
0