Formal Proofs of Transcendence for e and $π$ as an Application of Multivariate and Symmetric Polynomials. - Sophie Bernard; Yves Bertot; Laurence Rideau; Pierre-Yves Strub (CoRR, 2015)

Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials. - Sophie Bernard; Yves Bertot; Laurence Rideau; Pierre-Yves Strub (CPP, 2016)

Formalization of the Lindemann-Weierstrass Theorem. - Sophie Bernard (ITP, 2017)

Unsolvability of the Quintic Formalized in Dependent Type Theory. - Sophie Bernard; Cyril Cohen; Assia Mahboubi; Pierre-Yves Strub (ITP, 2021)