Zulip Chat Archive
Stream: Lean Together 2026
Topic: Etienne Marion - Ionescu-Tulcea theorem in Mathlib
Jireh Loreaux (Jan 22 2026 at 18:43):
Discussion thread for the talk.
Etienne Marion (Jan 23 2026 at 08:04):
Here are the slides
Etienne-MARION_LeanTogether2026_slides_handout.pdf
Last updated: Feb 28 2026 at 14:05 UTC