Email Gateway (Jul 26 2021 at 10:10): Email Gateway (Jul 26 2021 at 10:10):From: 伊藤洋介 <glacier345@gmail.com>
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,
Email Gateway (Jul 26 2021 at 10:18):From: Manuel Eberl <eberlm@in.tum.de>
Yes, you need to make an account.
Cheers,
Manuel
smime.p7s
Email Gateway (Jul 26 2021 at 11:20):From: 伊藤洋介 <glacier345@gmail.com>
I succeeded in logging in Zulip!
Thank you very much, Manuel.
2021年7月26日(月) 19:19 Manuel Eberl <eberlm@in.tum.de>:
伊藤洋介
080-5057-6931
glacier345@gmail.com
Last updated: Feb 05 2025 at 16:23 UTC