Hamilton–Perelman's proof of Poincaré conjecture is claimed to be autoformalized

2 points | by unexpectedtrap an hour ago

No comments yet