Join the Lean Zulip. There are many people interested in this.

https://leanprover.zulipchat.com/