8000 feat: deprecated options by nomeata · Pull Request #7969 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: deprecated options#7969

Draft
nomeata wants to merge 1 commit intomasterfrom
joachim/deprecated-options
Draft

feat: deprecated options#7969
nomeata wants to merge 1 commit intomasterfrom
joachim/deprecated-options

Commits

Commits on Apr 15, 2025
0