Skip to content

[Merged by Bors] - feat: local frames in a vector bundle#30083

Closed
grunweg wants to merge 60 commits into
leanprover-community:masterfrom
grunweg:localframes
Closed

[Merged by Bors] - feat: local frames in a vector bundle#30083
grunweg wants to merge 60 commits into
leanprover-community:masterfrom
grunweg:localframes

Commits

Commits on Oct 8, 2025

Commits on Oct 23, 2025

Commits on Oct 31, 2025

Commits on Nov 6, 2025

Commits on Nov 12, 2025

Commits on Nov 18, 2025

Commits on Feb 10, 2026

Commits on Feb 22, 2026

Commits on Feb 23, 2026

Commits on Feb 24, 2026