[isabelle-dev] Google Summer of Code 2011
boehmes at in.tum.de
Thu Mar 3 00:06:15 CET 2011
Until March 11, Google is looking for mentoring organization for this
year's Summer of Code, a two-month period where students from all over
the world improve open source software/projects.
We might participate as project -- and at the same time spread the
word of interactive theorem provers -- if we have some suggestions for
student tasks (I think about jEdit-related components, especially).
Please let me know and we can discuss the details in private e-mail.
More information about the isabelle-dev