G github.com Hamilton–Perelman's proof of Poincaré conjecture is claimed to be autoformalized 2 points unexpectedtrap 1 month ago 0 comments
