Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Google Summer of Code?

view this post on Zulip Email Gateway (Aug 19 2022 at 13:37):

From: Josh Tilles <merelyapseudonym@gmail.com>
It looks like no one is mentoring any Isabelle projects for this year’s GSoC. Is that correct?

Cheers,
Josh

view this post on Zulip Email Gateway (Aug 19 2022 at 13:37):

From: Jasmin Blanchette <jasmin.blanchette@gmail.com>
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

Last updated: Feb 01 2025 at 20:19 UTC