I just posted the source code for my library/environment for doing symbolic computations in differential geometry: https://sr.ht/~jmbr/symbol-cruncher #CommonLisp #math