Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Greetings

view this post on Zulip Email Gateway (Aug 19 2022 at 16:54):

From: Tambet <qtvali@gmail.com>
I just want to send greetings, as I will continue learning Isabelle now and
probably I will have questions.

Tambet

Last updated: Feb 15 2026 at 05:19 UTC