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.
On Tue, Feb 8, 2011 at 3:58 PM, John Matthews <matthews at galois.com> wrote:
> 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:
This archive was generated by a fusion of
Pipermail (Mailman edition) and