Three Roads to de Finetti's Theorem in Lean 4 (Short Paper).

Cameron E. Freer

Browse the full ITP paper archive.