Astrolabe

▶Pre-formalization networks

astrolabe:minmax-ricci-flow-extinction
The min-max route to finite extinction of Ricci flow
Xinze Li
10 sections · 64 statements · July 31, 2026

All entries →

▶Formalized

astrolabe:hessenberg-digraphs
Digraphs of real-orthogonal upper Hessenberg matrices
Xinze Li, Simone Severini
43 files · 293 declarations · no sorry · August 3, 2026
astrolabe:jordan-curve-theorem
The Jordan curve theorem
Andrea E. V. Ferrari
20 files · 186 declarations · no sorry · August 11, 2026

All libraries →