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 in.tum.de>:
Yes, you need to make an account.

Cheers,

Manuel

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.
> https://isabelle.zulipchat.com <https://isabelle.zulipchat.com>
> Is an authentication needed?
>
> Best regards,
>
> --
> 伊藤洋介
> Yosuke Ito
> https://github.com/Yosuke-Ito-345 <https://github.com/Yosuke-Ito-345>
> glacier345 at gmail.com <mailto:glacier345 at gmail.com>
>

--
伊藤洋介
080-5057-6931
glacier345 at gmail.com



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