Hacker News new | ask | show | jobs
by ajs1998 241 days ago
Join the Lean Zulip. There are many people interested in this.

https://leanprover.zulipchat.com/