Structure and Interpretation of Classical Mechanics

Stream: Natural sciences

[Mark Ettinger]

Is anyone aware of any projects to translate Sussman's "Structure and Interpretation of Classical Mechanics" or "Functional Differential Geometry" into Lean from the original Scheme? There is (was?) a significant project to translate to Clojure but it seems me that a statically typed language like Lean would make the concepts more clear.

[Alfredo Moreira-Rosa]

I guess you are looking for Physlean project.
Here is the Topic where you can ask these questions : #PhysLean
The website : https://physlean.com/
The github page: https://github.com/HEPLean/PhysLean/tree/master/PhysLean/ClassicalMechanics