Hacker News new | ask | show | jobs
by hiker 614 days ago
Lean[1] Zulip chat[2]

[1] https://leanprover-community.github.io/ [2] https://leanprover.zulipchat.com/