Repository navigation

Rebrand - #72

Merged

RemyDegenne merged 11 commits into

mainfrom

Apr 8, 2026

Merged

Rebrand#72
RemyDegenne merged 11 commits into
mainfrom
rebrand

Commits on Mar 22, 2026
- change to lml
  RemyDegenne
  committed
  2f4c183
- try again
  RemyDegenne
  committed
  588fc9a
- Merge branch 'rebrand' of github.com:RemyDegenne/lean-bandits into rebrand
  RemyDegenne
  committed
  252ddf7
- untrack
  RemyDegenne
  committed
  8787cdd
- add verso links
  RemyDegenne
  committed
  e436423
Commits on Mar 23, 2026
- more rebranding
  RemyDegenne
  committed
  d24b7a1
- delete Plan.md
  RemyDegenne
  committed
  764a21b
Commits on Apr 7, 2026
- bump to 4.29.0
  RemyDegenne
  committed
  a972009
- update verso
  RemyDegenne
  committed
  cd9ad12
- use module system
  RemyDegenne
  committed
  ab73f7e
- delete things that were merged to mathlib
  RemyDegenne
  committed
  a6a5d94