[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.
https://isabelle.zulipchat.com
Is an authentication needed?

Best regards,

--
伊藤洋介
Yosuke Ito
https://github.com/Yosuke-Ito-345
glacier345 at gmail.com



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