Vol-3376⫷ Vol-3377 ⫸Vol-3378
urn:nbn:de:0074-3377-0


Vol-3377/fmm7⫷Vol-3377/fmm8⫸Vol-3377/fmm10
Anthony BordgNicolò Cavalleri

Elements of Differential Geometry in Lean: A Report for Mathematicians (short paper)