|
|
142d0876a6
|
feat: remove themes
|
2026-01-07 13:43:40 -06:00 |
|
|
|
5036ae4654
|
feat: open mdx post urls in a new tab
|
2025-12-30 19:31:37 -06:00 |
|
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 |
|
|
|
f0c1c15002
|
feat(proofs): some proofs
|
2025-06-22 14:22:12 -05:00 |
|
|
|
3aad252b69
|
feat:
|
2025-06-05 17:44:42 -05:00 |
|
|
|
b81f0fa3c4
|
fix(ci): use .html
|
2025-05-22 17:19:31 -05:00 |
|
|
|
63fc4373b2
|
feat: try to fix the prod deployment
|
2025-05-22 16:57:29 -05:00 |
|
|
|
8666e5a169
|
feat: refactor
|
2025-05-22 14:23:22 -05:00 |
|
