News for hackers. Stuff that matters.

A comment on Ask HN: Good Online Maths Communities?.

Re:Ask HN: Good Online Maths Communities? by hiker on Tuesday October 08, 2024 @07:02AM (#41775974)
Lean[1] Zulip chat[2]

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

[ Parent | on HN ]

There are no comments on this comment yet.