Branding and 1.0-alpha1#68

Merged

nikomatsakis merged 3 commits intosymposium-dev:mainfrom

nikomatsakis:main

Dec 20, 2025

Commits on Dec 20, 2025

Update logos to symposium5 vase-ferris design

nikomatsakis
and
Claude
committed
Update mdbook styling: Poppins headers, remove redundant title

nikomatsakis
and
Claude
committed
Bump crate versions to 1.0.0-alpha.1

nikomatsakis
and
Claude
committed