TY  - RPRT
TI  - Elements of Differential Geometry in Lean: A Report for Mathematicians
AU  - Anthony Bordg
AU  - Nicolò Cavalleri
PY  - 2021
UR  - https://arxiv.org/abs/2108.00484
ID  - 2108.00484
ER  -