Repositories list

• LMLExplore

  Public
  AI-generated companion library to LeanMachineLearning

  Lean

  •

  Apache License 2.0

  •22 forks in LeanMachineLearning/LMLExplore•22 stars in LeanMachineLearning/LMLExplore•00 issues in LeanMachineLearning/LMLExplore•1717 pull requests in LeanMachineLearning/LMLExplore•Updated Nov 12, 2026Nov 12, 2026

• TauCetiWorker

  Public
  Python

  •1515 forks in LeanMachineLearning/TauCetiWorker•00 stars in LeanMachineLearning/TauCetiWorker•00 issues in LeanMachineLearning/TauCetiWorker•00 pull requests in LeanMachineLearning/TauCetiWorker•Updated Nov 11, 2026Nov 11, 2026

• lml-claude

  Public
  Python

  •

  Apache License 2.0

  •00 forks in LeanMachineLearning/lml-claude•00 stars in LeanMachineLearning/lml-claude•00 issues in LeanMachineLearning/lml-claude•00 pull requests in LeanMachineLearning/lml-claude•Updated Nov 11, 2026Nov 11, 2026

• lml-paper-template

  Public template
  Template of a Lean paper formalization on top of LMLExplore, with the lml Claude Code plugin

  Shell

  •

  Apache License 2.0

  •00 forks in LeanMachineLearning/lml-paper-template•00 stars in LeanMachineLearning/lml-paper-template•00 issues in LeanMachineLearning/lml-paper-template•00 pull requests in LeanMachineLearning/lml-paper-template•Updated Nov 11, 2026Nov 11, 2026

• LMLRoadmaps

  Public
  Roadmaps for LMLExplore

  Lean

  •

  Apache License 2.0

  •00 forks in LeanMachineLearning/LMLRoadmaps•22 stars in LeanMachineLearning/LMLRoadmaps•00 issues in LeanMachineLearning/LMLRoadmaps•00 pull requests in LeanMachineLearning/LMLRoadmaps•Updated Nov 9, 2026Nov 9, 2026

• LML

  Public
  The Lean Machine Learning Library

  Lean

  •

  Apache License 2.0

  •1313 forks in LeanMachineLearning/LML•4848 stars in LeanMachineLearning/LML•77 issues in LeanMachineLearning/LML•1313 pull requests in LeanMachineLearning/LML•Updated Nov 6, 2026Nov 6, 2026

• LMLExplore-evidence

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

  00 forks in LeanMachineLearning/LMLExplore-evidence•00 stars in LeanMachineLearning/LMLExplore-evidence•00 issues in LeanMachineLearning/LMLExplore-evidence•00 pull requests in LeanMachineLearning/LMLExplore-evidence•Updated Nov 5, 2026Nov 5, 2026

• RandomDo

  Public
  Random-do notation

  Lean

  •

  Apache License 2.0

  •00 forks in LeanMachineLearning/RandomDo•00 stars in LeanMachineLearning/RandomDo•00 issues in LeanMachineLearning/RandomDo•1010 pull requests in LeanMachineLearning/RandomDo•Updated Nov 4, 2026Nov 4, 2026

• LML-evidence

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

  00 forks in LeanMachineLearning/LML-evidence•00 stars in LeanMachineLearning/LML-evidence•00 issues in LeanMachineLearning/LML-evidence•00 pull requests in LeanMachineLearning/LML-evidence•Updated Oct 3, 2026Oct 3, 2026

• exposition

  Public
  Tools to explain the content of a Lean library

  Lean

  •

  Apache License 2.0

  •00 forks in LeanMachineLearning/exposition•1010 stars in LeanMachineLearning/exposition•00 issues in LeanMachineLearning/exposition•00 pull requests in LeanMachineLearning/exposition•Updated Sep 22, 2026Sep 22, 2026