Re: [isabelle] Google Summer of Code?



Am 21.02.2014 um 07:43 schrieb Josh Tilles <merelyapseudonym at gmail.com>:

> It looks like no one is mentoring any Isabelle projects for this year’s GSoC. Is that correct?

Yes. We did GSoC once and it didn't work out so well (we even had to fail one of the two students). Since then, we haven't mustered the motivation to try again.

Jasmin





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