Nico

Stream: new members

[Nico]

Hello, I am new :wave: just getting started with Lean and so far I like it very much!
I have a question about the linter.unnecessarySimpa warning, where may that be best to ask?

[Damiano Testa]

Welcome!

Probably this channel with a more descriptive topic name is a good place for the question!