https://leanprover-community.github.io/archive/stream/263328-triage/topic/PR.20.234956.3A.20feat(archive.2Fimo).3A.20formalise.201979.20Q1.html
Zulip Chat Archive
The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib.
zulip chatarchive
https://quarkusio.zulipchat.com/
Public view of Quarkus | Zulip team chat
Browse the publicly accessible channels in Quarkus without logging in.
public viewteam chatquarkuszulip