Formal foundations of AlphaGeometry: A Lean 4 mechanization

(zenodo.org) by AnthonyBordg | Mar 12, 2026 | 0 comments on HN