6. The PermDraws Tactic
A custom Lean 4 tactic for automatically proving distributional equivalences between probability computations that differ only in the order of independent uniform draws.
A custom Lean 4 tactic for automatically proving distributional equivalences between probability computations that differ only in the order of independent uniform draws.