Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture
Posted 4 hours ago by
nill0
1
points
https://github.com/qinz1yang/differential-geometry
1
comments
Loading..