Formalising Mathematics with Lean

[1] Trinh, Wu, Le, He and Luong (2024)🔗

Trieu H. Trinh, Yuhuai Wu, Quoc V. Le, He He, and Thang Luong (2024). “Solving olympiad geometry without human demonstrations”. Nature. 625(7995), pp. 476–482.