GitHub repository: lucasvreis/BirkhoffErgodicThm
Primary language: Lean
Created: 2024-05-24T04:45:06Z
Description: A proof of Pointwise Birkhoff Ergodic Theorem in Lean