Hamilton–Perelman's proof of Poincaré conjecture is claimed to be autoformalizedgithub.com2 points·unexpectedtrap··0 commentsOpen articleSaveView on HN