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

chore: remove duplicate instances#8397

Merged
kim-em merged 3 commits intomasterfrom
duplicate_instances
May 19, 2025
Merged

chore: remove duplicate instances#8397
kim-em merged 3 commits intomasterfrom
duplicate_instances

Commits

Commits on May 19, 2025
0