Notes on Lean

Notes on Lean🔗

Lauri OksanenNiklas Halonen

lauri.oksanen@helsinki.fi

Contents

  1. 1. Foundations
  2. 2. Constructions
  3. 3. Index