8000 chore: for #8914 after stage0 update by kmill · Pull Request #8925 · leanprover/lean4 · GitHub 8000
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

chore: for #8914 after stage0 update#8925

Merged
kmill merged 1 commit intoleanprover:masterfrom
kmill:kmill_merge_let_have_cleanup1
Jun 22, 2025
Merged

chore: for #8914 after stage0 update#8925
kmill merged 1 commit intoleanprover:masterfrom
kmill:kmill_merge_let_have_cleanup1

Commits

Commits on Jun 22, 2025
0