Re: [isabelle] Isabelle Zulip Chat



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

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



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