[Coq] Learn Coq in Y minutes

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

1 Like

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.

1 Like

Finally it was merged and appeared on the main page: https://learnxinyminutes.com/docs/coq/

1 Like