Zulip Chat Archive

Stream: Lean Together 2025

Topic: Scott Carnahan: Vertex algebras in Mathlib: coming soon?

Riccardo Brasca (Jan 15 2025 at 12:41):

A thread for discussion about this talk.

Scott Carnahan (Jan 15 2025 at 13:21):

2025-01-15.pdf

Johan Commelin (Jan 15 2025 at 13:31):

Thanks for the talk! It seems like quite a challenge to get the definition up and running. I'm looking forward to reviewing the basic theory.

Pietro Monticone (Jan 16 2025 at 00:26):

:video_camera: Video recording: https://youtu.be/bmqEmc1nkkU

Last updated: May 02 2025 at 03:31 UTC