Skip to content

WIP: Import Riemannian curvature and geometric analysis toward Ricci flow - #512

Open
Vilin97 wants to merge 133 commits into
mainfrom
codex/import42-lean-poincare-formalization-plan
Open

WIP: Import Riemannian curvature and geometric analysis toward Ricci flow#512
Vilin97 wants to merge 133 commits into
mainfrom
codex/import42-lean-poincare-formalization-plan

Merge current main and migrate PR #512 to project cards

dfe6a5c
Select commit
Loading
Failed to load commit list.
Greptile Apps / Greptile Review succeeded Oct 8, 2026 in 5m 59s

Base review

Greptile has reviewed the Pull Request.

808 files reviewed, 1 comments added.

View more details on Greptile Apps