Zulip Chat Archive
Stream: Lean Together 2025
Topic: Lorenzo Luccioli: Information theory in Lean: the DPI
Jireh Loreaux (Jan 15 2025 at 17:29):
Discussion thread for this talk.
Lorenzo Luccioli (Jan 15 2025 at 21:03):
Here are the slides from my talk:
LeanTogetherSlides.pdf
Pietro Monticone (Jan 16 2025 at 01:06):
:video_camera: Video recording: https://youtu.be/7M7Z-iDMM8Y
Last updated: May 02 2025 at 03:31 UTC