Lean Prover Zulip Chat Archive
Streams:
-
general (2230 topics)
-
maths (680 topics)
-
new members (664 topics)
-
PR reviews (202 topics)
-
Lean Together 2019 (31 topics)
-
Lean for teaching (16 topics)
-
kbb (13 topics)
-
IMO-grand-challenge (12 topics)
-
concrete semantics (4 topics)
-
Big Proof 2019 (3 topics)
-
imo-grand-challenge (3 topics)
Last updated: Dec 08 2019 at 12:00 UTC