8000 chore: remove outdated comment by zwarich · Pull Request #9002 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

chore: remove outdated comment#9002

Merged
zwarich merged 1 commit intoleanprover:masterfrom
zwarich:remove-comment
Jun 25, 2025
Merged

chore: remove outdated comment#9002
zwarich merged 1 commit intoleanprover:masterfrom
zwarich:remove-comment

Commits

Commits on Jun 25, 2025
0