Re: [isabelle] Google Summer of Code?

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

> 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.


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