Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle around the world

Email Gateway (Aug 17 2022 at 14:43):

From: nipkow@in.tum.de
Thanks to the work of Florian Haftmann and Tjark Weber and thanks to your
input we have recently added an item "Isabelle in your neighbourhood" to the
community page: http://isabelle.in.tum.de/community.html

If you would like to be added, just drop us a line - I think there are more
sites than the map shows.

Best,
Tobias

Last updated: Jan 04 2025 at 20:18 UTC