Zulip Chat Archive
Stream: Lean Together 2025
Topic: Hannah Fechtner: Braid Groups in Lean
Kim Morrison (Jan 18 2025 at 10:51):
https://www.youtube.com/watch?v=qVzuTWycPaw&list=PLlF-CfQhukNlzXdQvu1SVt9vcD4--fLlg&index=24
Johan Commelin (Jan 20 2025 at 07:21):
Very nice talk! I'm looking forward to the braid widget: that will be marvelous to play with!
Last updated: May 02 2025 at 03:31 UTC