Mumbai, India

Stream: Geographic locality

[Arnav Sabharwal]

Any fellow Lean users in Mumbai? I was considering the prospect of a meetup group to discuss functional programming / math / programming language theory, which I think would be a great learning experience for everyone!

[Divyanshu Ranjan]

Not in mumbai, but if you have plan to visite BLR sometime, do let me know

[Joël Riou]

If some of you visit Chennai, I should be there from mid-July to mid-August!

[Nilesh]

@Arnav Sabharwal There's an all-India Telegram group for FunctionalProgramming where these things get discussed.

• website: https://functionalprogramming.in/
• TG group link: https://t.me/fpncr

[Nilesh]

We started a weekly Lean Hangout and had the first one yesterday. https://x.com/nileshtrivedi/status/1995402775736324240

Would love to meet others from India online. Also planning to host a meetup at our office in BLR.

[Nilesh]

Created this topic for all of India, as I could not find one.