Login / Signup
Nicolò Cavalleri
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Differential Geometry
Shape Space
Closed Curves
Top Venues
CoRR
CICM Workshops
</>
Publications
</>
Anthony Bordg
,
Nicolò Cavalleri
Elements of Differential Geometry in Lean: A Report for Mathematicians.
CoRR
(2021)
Anthony Bordg
,
Nicolò Cavalleri
Elements of Differential Geometry in Lean: A Report for Mathematicians (short paper).
CICM Workshops
(2021)