8000 chore: minor fixes to grind_indexmap test case by kim-em · Pull Request #8706 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

chore: minor fixes to grind_indexmap test case#8706

Merged
kim-em merged 1 commit intomasterfrom
grind_indexmap3
Jun 10, 2025
Merged
< 4F09 h2 class="Box-sc-g0xbh4-0 prc-PageHeader-Title-LKOsd lh-condensed prc-Heading-Heading-6CmGO" data-component="PH_Title" data-hidden="false">
chore: minor fixes to grind_indexmap test case#8706
kim-em merged 1 commit intomasterfrom
grind_indexmap3

Commits

Commits on Jun 10, 2025
0