New to Lean; Wanna form a small study group

Stream: new members

[CY Fung]

I am new to Lean. I notice resources like the Natural Number Game or the official recommended texts (https://lean-lang.org/learn/).

Just wanna ask whether there are people want to learn Lean together. Maybe form a small study group in Discord (or elsewhere).

---

Let me introduce my background. I am from Hong Kong. I studied theoretical Physics and Math in undergraduate, and now work as a programmer. I would like to continue my interest in Phy/Math, thus my personal goal is contributing to PhysLean.

My current tech stack is mainly imperative programming languages.

[CY Fung]

[Edited] We got already 7 people now. :slight_smile: So the study group pauses accepting new members.