Skip to content

@LeanMachineLearning LeanMachineLearning

All

    Repositories list

    4 repositories

    • LML

      Public
      The Lean Machine Learning Library
      Lean
      •
      Apache License 2.0
      •14•45•7•15•Updated Oct 30, 2026Oct 30, 2026

    • RandomDo

      Public
      Random-do notation
      Lean
      •
      Apache License 2.0
      •0•0•0•9•Updated Oct 29, 2026Oct 29, 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.