tadamcz/phi-mixing-clt
Candidate Lean counterexample to the Ibragimov–Iosifescu phi-mixing CLT conjecture, generated by GPT-6 Astra.
Lean
1
1 contributors
Social mentions
Recent discussions about this repository across the web
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues