8000 feat: complete level def eq by Rob23oba · Pull Request #8867 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: complete level def eq#8867

Draft
Rob23oba wants to merge 6 commits intoleanprover:masterfrom
Rob23oba:complete-level-def-eq
Draft

feat: complete level def eq#8867
Rob23oba wants to merge 6 commits intoleanprover:masterfrom
Rob23oba:complete-level-def-eq

Commits

Commits on Jun 18, 2025

Commits on Jun 24, 2025
0