Re: [isabelle] Isabelle Zulip Chat

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>

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

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