Complete the final part of birkhoff's ergodic theorem - Githubissues

mseri / BET

Project for "Machine-Checked Mathematics" at the Lorentz Center

Apache License 2.0

6 stars 5 forks source link

Complete the final part of birkhoff's ergodic theorem #35

Open oliver-butterley opened 1 month ago