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