Zulip Chat Archive

Stream: Lean Together 2024

Topic: Link from community page

Winston Yin (尹維晨) (Jan 22 2024 at 07:23):

Could somebody add Lean Together 2024 to this page, please?

Martin Dvořák (Jan 22 2024 at 07:47):

https://github.com/leanprover-community/leanprover-community.github.io/pull/435

Patrick Massot (Jan 22 2024 at 12:48):

This is not the right kind of event to list there.

Patrick Massot (Jan 22 2024 at 12:48):

There was no tutorial during this event.

Winston Yin (尹維晨) (Jan 22 2024 at 19:00):

I see. That makes sense

Last updated: May 02 2025 at 03:31 UTC