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
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?
Sure, please move the topic, thanks! It is my bad, I did search on the dev channel
instead of seaching in the user channel
Last updated: Dec 07 2023 at 04:02 UTC