annotated-textbook

一个关于形式化教科书的实验，用 TypeScript 和 Jax 实现了《经典力学的结构与解释》第一章，包含代码与数学对齐以及模拟器。