[isabelle] Google Summer of Code?



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

Cheers,
Josh





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