Zulip Chat Archive

Stream: new members

Topic: new members introduction


view this post on Zulip Marek (Apr 06 2021 at 04:38):

hello everyone! just want to introduce myself, my name is Marek, I am a PhD student in Physics with Computer Science background, I accidentally found Lean and I became curious about it and decided to join this community and observe a bit to see if it would be the right tool for my projects


Last updated: May 16 2021 at 21:11 UTC