leanprover-community / mathlib

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

Zulip Chat Archive

Stream: Geographic locality

Topic: Iran, Semnan


Arshak Parsa (Jul 25 2024 at 15:01):

Is anyone from Iran?
just wondering

Nima Rasekh (Jul 25 2024 at 18:07):

Arshak Parsa said:

Is anyone from Iran?
just wondering

Hey!
I doubt there are many people in Iran doing Lean, but there definitely are Iranians outside of Iran who are (more or less) in this area, in case you think that can be of any help.


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll