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

A general geometry library in LEAN 4. Contribute to qinz1yang/differential-geometry development by creating an account on GitHub.

2 points•unexpectedtrap•2 days ago•0 comments•

0 comments

No comments yet.