Skip to content

feat(Geometry): Mostow rigidity, algebraic form#140

Closed
alreadydone wants to merge 7 commits into
leanprover:mainfrom
alreadydone:Mostow_rigidity
Closed

feat(Geometry): Mostow rigidity, algebraic form#140
alreadydone wants to merge 7 commits into
leanprover:mainfrom
alreadydone:Mostow_rigidity

Delete manifests/problems.toml

b4b512f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
verify
succeeded Jul 15, 2026 in 2h 55m 20s