Skip to content
@LeanMachineLearning

LeanMachineLearning

The Lean Machine Learning library

Popular repositories Loading

  1. LML LML Public

    The Lean Machine Learning Library

    Lean 44 12

  2. exposition exposition Public

    Tools to explain the content of a Lean library

    Lean 10

  3. RandomDo RandomDo Public

    Random-do notation

    Lean

  4. LML-evidence LML-evidence Public

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

Repositories

Showing 4 of 4 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…