formalization
4 stories and discussions about formalization, aggregated from every source we track.
1.
3.
A general geometry library in LEAN 4. Contribute to qinz1yang/differential-geometry development by creating an account on GitHub.
4.
A personal reflection on eight years of AI and formalization. By Kaiyu Yang.