gitextract_xw9617op/ ├── LICENSE ├── README.md ├── basic.typ ├── differential_calculus.typ ├── manual.typ ├── manual_examples.typ ├── manual_template.typ └── theorems.typ