leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: LftCM Bangalore 2025

Topic: Group Photograph of LftCM Bangalore 2025


Sheera Shamsu (May 03 2025 at 09:18):

Dear Coordinators, it would be great if you can share the group photo here, which we have taken during the second day of the workshop!

Filippo A. E. Nuccio (May 04 2025 at 00:20):

I think you can download it from https://www.icts.res.in/discussion-meeting/lcmaths/gallery


Last updated: Feb 28 2026 at 14:05 UTC

Theme Simple by wildflame © 2016 Powered by jekyll