8000 feat: make math Lake template follow Mathlib standards by Vierkantor · Pull Request #8866 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: make math Lake template follow Mathlib standards#8866

Merged
Vierkantor merged 12 commits intomasterfrom
anne/mathlib-dep-template
Jun 23, 2025
Merged

feat: make math Lake template follow Mathlib standards#8866
Vierkantor merged 12 commits intomasterfrom
anne/mathlib-dep-template

Commits

Commits on Jun 18, 2025

Commits on Jun 19, 2025

Commits on Jun 23, 2025
0