I am currently preparing a notebook for PlutoCon, using Symbolics.jl to explain Gaussian curvature. I think it is possible to do what you suggest, but my experience is that “simplifying expressions” (a difficult problem in CAS) to display is not really there, but if using Symbolics.jl to output programs that compute Christoffel symbols is definitely possible already.
3 Likes