Re: [isabelle] Isabelle Zulip Chat

I succeeded in logging in Zulip!
Thank you very much, Manuel.

2021年7月26日(月) 19:19 Manuel Eberl <eberlm at>:
Yes, you need to make an account.



On 25/07/2021 11:39, 伊藤洋介 wrote:
> Dear Isabelle users,
> Hello, my name is Yosuke Ito, working as an actuary for a life insurance
> company in Japan.
> I am planning to start studying Isabelle, so I would like to join the
> Isabelle Zulip Chat.
> I tried to access the following URL, but I could not log in.
> <>
> Is an authentication needed?
> Best regards,
> --
> 伊藤洋介
> Yosuke Ito
> <>
> glacier345 at <mailto:glacier345 at>

glacier345 at

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.