Start Fall 2025 #24

Merged

Mark merged 4 commits from welcome-back into main

2025-09-24 22:08:52 -07:00

Author	SHA1	Message	Date
Mark	0b7acaf5ae	fmt All checks were successful CI / Typos (pull_request) Successful in 9s Details CI / Typst formatting (pull_request) Successful in 4s Details CI / Build (pull_request) Successful in 6m3s Details CI / Typos (push) Successful in 10s Details CI / Typst formatting (push) Successful in 4s Details CI / Build (push) Successful in 7m25s Details	2025-09-24 22:02:23 -07:00
Mark	69d835a2d2	Rewrite symmetric groups Some checks failed CI / Typos (pull_request) Successful in 9s Details CI / Typst formatting (pull_request) Failing after 5s Details CI / Build (pull_request) Has been skipped Details	2025-09-24 21:58:18 -07:00
Mark	81d6518553	Lib tweaks Some checks failed CI / Typos (pull_request) Successful in 11s Details CI / Typst formatting (pull_request) Failing after 5s Details CI / Build (pull_request) Has been skipped Details	2025-09-23 23:29:20 -07:00
Mark	e5b0053465	Update cetz & ci	2025-09-23 23:29:06 -07:00