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

(github.com)

2 points | by unexpectedtrap 8 hours ago

No comments yet.