Stream: Coq devs & plugin devs

Topic: Google Summer of Code 2022


view this post on Zulip Emilio Jesús Gallego Arias (Jan 28 2022 at 12:16):

Hi folks, as kindly pointed out by @Gabriel Scherer , GSOC and Outreachy applications for 2022 have just opened.

I'm afraid I'm too busy as of today to lead this, but I'll be happy to help / co-lead would someone else be interested in submitting a proposal for Coq

view this post on Zulip Théo Zimmermann (Jan 28 2022 at 13:23):

Previously this was discussed in the Users channel. Maybe you want to follow up there so that we include people from the ecosystem willing to participate to mentoring?

view this post on Zulip Emilio Jesús Gallego Arias (Jan 28 2022 at 14:07):

Sure, please move the topic, thanks! It is my bad, I did search on the dev channel

view this post on Zulip Emilio Jesús Gallego Arias (Jan 28 2022 at 14:07):

instead of seaching in the user channel


Last updated: Feb 01 2023 at 15:04 UTC