Tag
An experiment in formalized textbooks that implements Chapter 1 of Structure and Interpretation of Classical Mechanics in TypeScript and Jax, with code-math alignment and a simulator.