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