Beginners Threads?

Stream: Zulip meta

[Joel McCracken]

I'm a professional Haskell dev, not a mathematician. I've been starting to look into Lean, there is quite a bit about it I quite like. I do have some very basic questions though.

Is there a good place to ask beginner-level questions?

[Kyle Miller]

Welcome! A good place to ask beginner-level questions is over at #new members

[Joel McCracken]

Got it, thanks! I will ask there in the future!