physicslib4 tutorial🔗

This tutorial introduces algebraic quantum field theory and its formalisation in Lean 4, through the definitions and theorems of physicslib4.

Contents

  1. 1. AQFT in brief
  2. 2. Lean in brief
  3. 3. Worked examples
  4. 4. Doing it yourself