8000 chore: remove unused simp args by nomeata · Pull Request #8905 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

chore: remove unused simp args#8905

Merged
nomeata merged 3 commits intomasterfrom
joachim/init-unusedSimpArgs
Jun 20, 2025
Merged

chore: remove unused simp args#8905
nomeata merged 3 commits intomasterfrom
joachim/init-unusedSimpArgs

Commits

Commits on Jun 20, 2025
0