Where to ask about feasibility of a project in Lean?

Stream: new members

[João Diogo Duarte]

Hey all, I am looking to (try) to formalize a relatively "simple" result as a way to learn about proof assistants outside of just EasyCrypt.

I really like Lean, but I am not sure if it's the appropriate tool for this - in an attempt to avoid cluttering channels, where should I ask about project feasibility in this zulip chat, please :)? Thanks!

[Eric Wieser]

#new members is a good bet in general if you're not yet sure where to ask things

[João Diogo Duarte]

Thanks! Appreciate it

[Kyle Miller]

(@João Diogo Duarte I took the liberty of moving your question here!)