Repository navigation

Update readme and website front page - #46

Merged

david415 merged 8 commits into

mainfrom

Oct 17, 2026

Merged

Update readme and website front page#46
david415 merged 8 commits into
mainfrom
fixup_website1

Commits on Oct 17, 2026
- Update readme and website front page
  david415
  committed
  bb917b3
- Drop the lock icon and section links, fix the front page's Lean blocks, add code captions
  Mycroft
  committed
  a2d96eb
- Colour Lean code blocks for light and dark mode and keep them inside the card
  Mycroft
  committed
  15c3a79
- Fixup website front page some more
  david415
  committed
  c4f928a
- Run Lean Action CI on pull requests only
  Mycroft
  committed
  91a1197
- Remove the Overview page and its front-page button
  Mycroft
  committed
  1120a31
- Remove the Primitives and Getting started pages
  Mycroft
  committed
  efa27de
- Remove the blog
  Mycroft
  committed
  c786a8c