Skip to content

feat: improve doc-strings for differential geometry elaborators#39677

Open
grunweg wants to merge 22 commits into
leanprover-community:masterfrom
grunweg:mvfderiv-better-docs
Open

feat: improve doc-strings for differential geometry elaborators#39677
grunweg wants to merge 22 commits into
leanprover-community:masterfrom
grunweg:mvfderiv-better-docs

Commits

Commits on May 30, 2026

Commits on May 31, 2026

Commits on Jun 17, 2026

Commits on Jun 22, 2026

Commits on Jun 25, 2026