A question for the Coq developers/users - are you interested in promoting Coq further? There is a famous site for newbies, allowing to learn something quickly up to the point to write something useful in it - Learn X in Y minutes. Recently I searched for a quick introduction in Coq, but found none. It would be awesome, if someone knowing it will send a pull request to the corresponding repository, solving this issue.
I think it would be good to post this request/announce on the Coq Discourse forum, reaching more Coq contributors more reliably that way.
Done, thanks for the hint!
Probably is very outdated, but there used to be this as a very brief intro: https://arxiv.org/abs/cs/0603118
Just an update - the pull request has been sent by Philip Zucker. See it here: https://github.com/adambard/learnxinyminutes-docs/pull/3759
Feel free to join the review and add your feedback.
Finally it was merged and appeared on the main page: https://learnxinyminutes.com/docs/coq/