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: Dec 20 2025 at 21:32 UTC

Theme Simple by wildflame © 2016 Powered by jekyll