LeanMachineLearning

The Lean Machine Learning library

Popular repositories Loading

LML LML Public

The Lean Machine Learning Library

Lean 37 12
exposition exposition Public

Tools to explain the content of a Lean library

Lean 10
RandomDo RandomDo Public

Random-do notation

Lean

Repositories

exposition Public
Tools to explain the content of a Lean library

LeanMachineLearning/exposition's past year of commit activity

Lean 10 Apache-2.0 0 0 0 Updated Sep 1, 2026
LML Public
The Lean Machine Learning Library

LeanMachineLearning/LML's past year of commit activity

Lean 37 Apache-2.0 12 6 14 Updated Sep 1, 2026
RandomDo Public
Random-do notation

LeanMachineLearning/RandomDo's past year of commit activity

Lean 0 Apache-2.0 0 0 1 Updated Aug 31, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…