Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture (github.com) 1 points by nill0 1mo ago ↗ HN
1 comment
[ 2.2 ms ] story [ 8.0 ms ] thread