[isabelle] Isabelle Zulip Chat

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 gmail.com

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