8000 feat: do not export private declarations by Kha · Pull Request #8337 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: do not export private declarations#8337

Merged
Kha merged 19 commits intoleanprover:masterfrom
Kha:push-yrmrrukrkmkq
Jun 2, 2025
Merged

feat: do not export private declarations#8337
Kha merged 19 commits intoleanprover:masterfrom
Kha:push-yrmrrukrkmkq

Commits

Commits on May 30, 2025
0