HN Trends Tracker

HN Trends Tracker

backend ok

Repost history

Canonical URL: https://github.com/qinz1yang/differential-geometry

Current story

#
Hamilton–Perelman's proof of Poincaré conjecture is claimed to be autoformalized(github.com)
HN #49,888,4872026-09-29 05:03 UTC
2 pointsby unexpectedtrap28 days ago0 comments

Prior reposts (1 of 2 total)

#
Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture(github.com)
HN #49,876,2562026-09-28 11:14 UTC
1 pointsby nill028 days ago1 comments