Skip to content
@LeanMachineLearning

LeanMachineLearning

The Lean Machine Learning library

Popular repositories Loading

  1. LML LML Public

    The Lean Machine Learning Library

    Lean 48 13

  2. exposition exposition Public

    Tools to explain the content of a Lean library

    Lean 10

  3. LMLExplore LMLExplore Public

    AI-generated companion library to LeanMachineLearning

    Lean 2 2

  4. LMLRoadmaps LMLRoadmaps Public

    Roadmaps for LMLExplore

    Lean 2

  5. RandomDo RandomDo Public

    Random-do notation

    Lean

  6. LML-evidence LML-evidence Public

    Evidence about LeanMachineLearning: reviews, problems, questions and tests of its declarations, as S3 records

Repositories

Showing 10 of 10 repositories

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…