Lean Machine Learning

 Lean Machine Learning🔗

These tutorial pages will guide you through using the Lean Machine Learning library.

Contents

  1. 1. Installation and Setup
  2. 2. Probability Spaces and Measures
  3. 3. Markov Kernels
  4. 4. Defining an Algorithm
  5. 5. Stochastic Processes and Martingales