[isabelle] Put yourself on the map
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
Many thanks for your help!
This archive was generated by a fusion of
Pipermail (Mailman edition) and