Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Put yourself on the map

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

From: nipkow@in.tum.de
Dear Isabelle users,

We are thinking of preparing an online map of the world which shows where
Isabelle is currently in use. If you would like to be on that map, send me an
email with the following information:

• Country, city, institution/lab/company/...
• Optionally: names and/or urls of users and/or projects.

There is no deadline and it may take a little while before the first map
becomes available.

Many thanks for your help!
Tobias

Last updated: Jan 04 2025 at 20:18 UTC