Repository navigation

Rebrand - #72

Merged

RemyDegenne merged 11 commits into

mainfrom

Apr 8, 2026

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