Elements of Differential Geometry in Lean: A Report for Mathematicians (short paper). - Anthony Bordg; Nicolò Cavalleri (CICM Workshops, 2021)

Elements of Differential Geometry in Lean: A Report for Mathematicians. - Anthony Bordg; Nicolò Cavalleri (CoRR, 2021)