8000 fix: linter.simpUnusedSimpArgs to check syntax kind by nomeata · Pull Request #8971 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

fix: linter.simpUnusedSimpArgs to check syntax kind#8971

Merged
nomeata merged 2 commits intomasterfrom
joachim/issue8969
Jun 24, 2025
Merged

fix: linter.simpUnusedSimpArgs to check syntax kind#8971
nomeata merged 2 commits intomasterfrom
joachim/issue8969

Commits

Commits on Jun 24, 2025
0