[isabelle-dev] A proposal for the website

Makarius makarius at sketis.net
Tue Nov 3 21:07:07 CET 2020


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


More information about the isabelle-dev mailing list