8000 chore: minimize grind panic by kim-em · Pull Request #8889 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

chore: minimize grind panic#8889

Merged
kim-em merged 1 commit intomasterfrom
minimize_grind_panic_test
Jun 20, 2025
Merged

chore: minimize grind panic#8889
kim-em merged 1 commit intomasterfrom
minimize_grind_panic_test

Commits

Commits on Jun 20, 2025
0