Skip to content

Rebrand - #72

Merged
RemyDegenne merged 11 commits into
mainfrom
rebrand
Apr 8, 2026
Merged

RemyDegenne merged 11 commits into
mainfrom
rebrand

Conversation

@RemyDegenne

@RemyDegenne RemyDegenne commented Mar 22, 2026 •

Copy link
Copy Markdown
Collaborator

Change the name of the library to LeanMachineLearning

Also:

  • update Mathlib to v4.29.0
  • use the module system
  • add a Verso repository for how-tos and tutorials
  • add a tutorial about Algorithm, Environment and IsAlgEnvSeq.

@RemyDegenne
RemyDegenne marked this pull request as ready for review March 22, 2026 21:00
@RemyDegenne
RemyDegenne merged commit 2ed8f9d into main Apr 8, 2026
1 check passed
@RemyDegenne
RemyDegenne deleted the rebrand branch April 8, 2026 12:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant