Place I can talk about x?

Stream: new members

[Dania Ali]

Hi! I'm an undergrad math & cs student doing research in proof/problem generation for an educational context. I am exploring somehow using Lean in my research (I am new to Lean). I wanted to ask, is there somewhere I can talk to someone more experienced in Lean perhaps to bounce ideas?

[Patrick Massot]

Do you mean actual talking or writing messages?

[Dania Ali]

Ah i meant messages