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

feat: linter.loopingSimpArgs#8865

Merged
nomeata merged 84 commits intomasterfrom
joachim/simp-loop-detection2
Jun 23, 2025
Merged

feat: linter.loopingSimpArgs#8865
nomeata merged 84 commits intomasterfrom
joachim/simp-loop-detection2

Commits

Commits on Jun 8, 2025

Commits on Jun 11, 2025

Commits on Jun 12, 2025

Commits on Jun 16, 2025

Commits on Jun 17, 2025

Commits on Jun 18, 2025

Commits on Jun 20, 2025

0