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