8000 chore: add failing grind tests by wkrozowski · Pull Request #8518 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

chore: add failing grind tests#8518

Draft
wkrozowski wants to merge 2 commits intoleanprover:masterfrom
wkrozowski:wkrozowski/add_grind_tests
Draft

chore: add failing grind tests#8518
wkrozowski wants to merge 2 commits intoleanprover:masterfrom
wkrozowski:wkrozowski/add_grind_tests

Commits

Commits on May 30, 2025
0