Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle research groups in United States?

view this post on Zulip Email Gateway (Aug 18 2022 at 17:14):

From: John Matthews <matthews@galois.com>
Hello,

Are there any academic research groups in the United States that are actively using and or developing Isabelle? I'm wondering if the "Isabelle world map" is missing some pins:

http://isabelle.in.tum.de/google_map.html

Thanks,
-john
smime.p7s

view this post on Zulip Email Gateway (Aug 18 2022 at 17:14):

From: Brian Huffman <brianh@cs.pdx.edu>
Were you thinking of Portland State University in particular?

I had to zoom in to see whether a PSU pin was hiding behind the Galois
pin, but there isn't one. I guess there ought to be.

view this post on Zulip Email Gateway (Aug 18 2022 at 17:15):

From: Jeremy Siek <jeremy.siek@colorado.edu>
My students and I use Isabelle out here in Colorado :)

Cheers,
Jeremy

Last updated: Mar 07 2025 at 20:20 UTC