Zulip Chat Archive

Stream: LFTCM 2024

Topic: Wrong topic - ignore

Alessandro Iraci (Mar 25 2024 at 11:14):

Branch name: LFTCM24-finite-group-representation
Link: https://github.com/leanprover-community/mathlib4/tree/LFTCM24-finite-group-representations

Notification Bot (Mar 25 2024 at 13:10):

Alessandro Iraci has marked this topic as resolved.

Notification Bot (Mar 25 2024 at 14:22):

Lorenzo Zanichelli has marked this topic as unresolved.

Notification Bot (Mar 25 2024 at 14:22):

Lorenzo Zanichelli has marked this topic as resolved.

Notification Bot (Mar 25 2024 at 14:24):

Riccardo Brasca has marked this topic as unresolved.

Last updated: May 02 2025 at 03:31 UTC