Skip to content

@LeanMachineLearning LeanMachineLearning

All

    Repositories list

    4 repositories

    • RandomDo

      Public
      Random-do notation
      Lean
      •
      Apache License 2.0
      •0•0•0•7•Updated Oct 16, 2026Oct 16, 2026

    • LML

      Public
      The Lean Machine Learning Library
      Lean
      •
      Apache License 2.0
      •13•46•7•16•Updated Oct 15, 2026Oct 15, 2026

    • LML-evidence

      Public
      Evidence about LeanMachineLearning: reviews, problems, questions and tests of its declarations, as S3 records
      0•0•0•0•Updated Oct 3, 2026Oct 3, 2026

    • exposition

      Public
      Tools to explain the content of a Lean library
      Lean
      •
      Apache License 2.0
      •0•11•0•0•Updated Sep 22, 2026Sep 22, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.