poincar
3 stories and discussions about poincar, aggregated from every source we track.
1.
2.
A general geometry library in LEAN 4. Contribute to qinz1yang/differential-geometry development by creating an account on GitHub.
3.
A general geometry library in LEAN 4. Contribute to qinz1yang/differential-geometry development by creating an account on GitHub.