GitHub repository: oliver-butterley/birkhoff
Primary language: Lean
Description: Birkhoff's ergodic theorem in Lean