Hamilton–Perelman's proof of Poincaré conjecture is claimed to be autoformalizedgithub.com·2 pts·unexpectedtrap·0