G.O. Jones and A.J. Wilkie, editors, O-Minimality and Diophantine Geometry. London Mathematical Society Lecture Note Series, vol. 421, Cambridge University Press, 2015. xii + 221 pp. - Antoine Chambert-Loir (Bull. Symb. Log., 2017)

A Formalization of Divided Powers in Lean. - Antoine Chambert-Loir; María Inés de Frutos-Fernández (CoRR, 2025)