Geometry, understood.
Proofs, verified.
Turn geometry problems into formal proofs you can review and verify with the Lean kernel.
From problem to proof.
Every step in view.
01Describe the problem
→
02Review the formalization
→
03Verify with Lean