Skip to content

Commit 57aba76

Browse files
committed
update readme
1 parent 42a4bfa commit 57aba76

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

‎README.md‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@
88
</div>
99

1010

11-
Website: [https://remydegenne.github.io/lean-bandits/](https://remydegenne.github.io/lean-bandits/)
11+
Website: [https://leanmachinelearning.github.io/](https://leanmachinelearning.github.io/)
1212

1313
## Goals
1414

@@ -24,7 +24,7 @@ Please see our [contribution guide](CONTRIBUTING.md) and [code of conduct](CODE_
2424

2525
For discussions, you can reach out to us on the [Lean prover Zulip chat](https://leanprover.zulipchat.com/).
2626

27-
You can also see the [roadmap](https://remydegenne.github.io/lean-bandits/roadmap) for ideas on what to work on.
27+
You can also see the [roadmap](https://leanmachinelearning.github.io/roadmap) for ideas on what to work on.
2828

2929
## Current state of the library
3030

0 commit comments

Comments
 (0)