Open-source projects written primarily in Lean.
1 project
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
