7 commits

Author	SHA1	Message	Date
Barrett Ruth	f63e429169	fix: theme	2025-11-09 16:30:35 -05:00
Barrett Ruth	15a2355f05	feat: use two styles	2025-11-09 15:26:34 -05:00
Barrett Ruth	f0c1c15002	feat(proofs): some proofs	2025-06-22 14:22:12 -05:00
Barrett Ruth	3aad252b69	feat:	2025-06-05 17:44:42 -05:00
Barrett Ruth	b81f0fa3c4	fix(ci): use .html	2025-05-22 17:19:31 -05:00
Barrett Ruth	63fc4373b2	feat: try to fix the prod deployment	2025-05-22 16:57:29 -05:00
Barrett Ruth	8666e5a169	feat: refactor	2025-05-22 14:23:22 -05:00