LeanBandits

Bibliography

Mar25

Etienne Marion, A formalization of the ionescu-tulcea theorem in mathlib, arXiv preprint arXiv:2506.18616 (2025).