On 03/11/2020 20:57, Makarius wrote: > > I never see Zulip, though, and this explains my wording of "walled garden" or > "walled site". > > BUT: the Lean community has this public archive generated from the hidden > garden: https://leanprover-community.github.io/archive
Here is a reference to that issue: https://leanprover-community.github.io/archive/stream/179818-Lean-Together-2019/topic/Zulip.html https://github.com/zulip/zulip/issues/4817 Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
