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: Jul 26 2025 at 08:28 UTC