henripal/DifferentialGeometry
WIP implementation of symbolic differential geometry from Sussman and Wisdom's Functional Differential Geometry
Scheme
WIP implementation of symbolic differential geometry from Sussman and Wisdom's Functional Differential Geometry
Scheme