Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle Zulip Chat


view this post on Zulip 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,

view this post on Zulip 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

view this post on Zulip 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: Jul 15 2022 at 23:21 UTC