leanprover-community / mathlib

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

Zulip Chat Archive

Stream: LFTCM 2024

Topic: Wednesday Outing


Sanyam Gupta (Mar 28 2024 at 10:33):

IMG_20240328_113326.jpg

Sanyam Gupta (Mar 28 2024 at 10:34):

IMG20240327142221.jpg

Sanyam Gupta (Mar 28 2024 at 10:35):

IMG20240327154326.jpg

@Lorenzo Zanichelli @Vincent Beffara @Alex J. Best

Alex J. Best (Mar 28 2024 at 10:51):

@Sanyam Gupta , cool thank you!

Riccardo Brasca (Mar 28 2024 at 11:03):

Thanks!

Riccardo Brasca (Mar 28 2024 at 16:12):

image.png

Edgar Costa (Mar 29 2024 at 10:49):

PXL_20240327_121428062.jpg
PXL_20240327_121511699.jpg
PXL_20240327_123035498.jpg
PXL_20240327_142422250.jpg
PXL_20240327_142438084.jpg
PXL_20240327_142444970.jpg
PXL_20240327_144207438.jpg
PXL_20240327_145411066.jpg


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll