ceps
ceps copied to clipboard
coq
Reduce barriers to contributing to the standard library
Thank you for the kind words. I agree that volunteer time and interests are a significant constraint here, and I am aware that many other developers are not as enthusiastic about maintaining stdlib as I am. In a way, this CEP is a grab-bag of specific ideas behind the underlying question "do we even want to?" -- and if not, I too might lean towards splitting off stdlib as anticipated in #83 (but see also earlier discussion). Yet, in a number of points I asking for a blessing more than any action, and I am hopeful that there will be common ground at least that far.
I have added this CEP to https://github.com/coq/coq/wiki/Coq-Call-2024-04-23.
Cc @coq/stdlib-maintainers your input would be appreciated (and not all of you are watching this repository).