diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index c48c0d08..8c8fbaa6 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -8,7 +8,7 @@ Fork the repository and create a new branch for your contribution. Make your cha ## What to contribute -See the [Roadmap](https://leanmachinelearning.github.io/roadmap/). +See the [Roadmap](https://leanmachinelearning.org/roadmap/). #### Finding tasks diff --git a/README.md b/README.md index ad2a5b07..e0f1b701 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,7 @@ -Website: [https://leanmachinelearning.github.io/](https://leanmachinelearning.github.io/) +Website: [https://leanmachinelearning.org/](https://leanmachinelearning.org/) ## Goals @@ -24,7 +24,7 @@ Please see our [contribution guide](CONTRIBUTING.md) and [code of conduct](CODE_ For discussions, you can reach out to us on the [Lean prover Zulip chat](https://leanprover.zulipchat.com/). -You can also see the [roadmap](https://leanmachinelearning.github.io/roadmap) for ideas on what to work on. +You can also see the [roadmap](https://leanmachinelearning.org/roadmap) for ideas on what to work on. ## Current state of the library diff --git a/tutorial/Manual/Front.lean b/tutorial/Manual/Front.lean index e9b159e1..e0d4ccb5 100644 --- a/tutorial/Manual/Front.lean +++ b/tutorial/Manual/Front.lean @@ -19,7 +19,7 @@ authors := [] shortTitle := "Lean Machine Learning" %%% -These tutorial pages will guide you through using the [Lean Machine Learning](https://leanmachinelearning.github.io) library. +These tutorial pages will guide you through using the [Lean Machine Learning](https://leanmachinelearning.org) library. {include 0 Manual.Pages.Installation} diff --git a/verso_blueprint/LMLBlueprint/Blueprint.lean b/verso_blueprint/LMLBlueprint/Blueprint.lean index abbf1fc1..869ff0bd 100644 --- a/verso_blueprint/LMLBlueprint/Blueprint.lean +++ b/verso_blueprint/LMLBlueprint/Blueprint.lean @@ -18,7 +18,7 @@ set_option verso.blueprint.summary.debugDiagnostics false #doc (Manual) "Lean Machine Learning" => -A Lean package for machine learning algorithms +Blueprint for the bandit parts of the [Lean Machine Learning](https://leanmachinelearning.org) library. {include 0 LMLBlueprint.Chapters.Intro} {include 0 LMLBlueprint.Chapters.Algorithm}