channel events

Stream: LftCM Bangalore 2025

[Notification Bot]

Web-public channel created by Patrick Massot. Description:

Discussions between participants of LftCM 2025, open to all

[Sheera Shamsu]

Thank you for organising a wonderful session! Thanks to Patrick for showing me how to easily find out type inhabitation using Lean's interactive editor.

[Ramit]

Thanks everyone! I learned a lot through this workshop and I shall find a way to apply these learnings!