Elements of Differential Geometry in Lean: A Report for Mathematiciansarxiv.org1 point·mseri··0 commentsOpen articleSaveView on HN