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

My students and I use Isabelle out here in Colorado :)


On Tue, Feb 8, 2011 at 4:58 PM, John Matthews <matthews at> 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:
> Thanks,
> -john

Jeremy Siek <jeremy.siek at>
Assistant Professor
Dept. of Electrical, Computer, and Energy Engineering
University of Colorado at Boulder

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