8000 feat: equality in grind linarith by leodemoura · Pull Request #8697 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: equality in grind linarith#8697

Merged
leodemoura merged 10 commits intomasterfrom
grind_linarith_eq
Jun 10, 2025
Merged

feat: equality in grind linarith#8697
leodemoura merged 10 commits intomasterfrom
grind_linarith_eq

Commits

Commits on Jun 9, 2025
0