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: May 06 2024 at 12:29 UTC