Emilio Jesús Gallego Arias (Jan 28 2022 at 12:16): 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
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?
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
Emilio Jesús Gallego Arias (Jan 28 2022 at 14:07):instead of seaching in the user channel
Last updated: Jun 05 2023 at 09:01 UTC