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



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.

- Brian

On Tue, Feb 8, 2011 at 3:58 PM, John Matthews <matthews at galois.com> wrote:
> 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
>
>





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.