[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:




More information about the isabelle-dev mailing list