[Call for Help] 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.

(Initially posted at OCaml Community forum)

4 Likes

Sounds like a fun way to advertise indeed, I guess one of the French developers/users can do it, but most are on vacation now :slight_smile:

Thanks for advertising this issue. It would be definitely good to be on this site. IMHO this is more of a task for an enthusiast volunteer user to undertake because waiting for a Coq developer to address this is just going to take too long. Among the few Coq developers that care the most about documentation, the current priority is improving the reference manual.

Cf. also this extract of the contributing guide:

1 Like

Seems like someone started to work already on this issue.

1 Like

Hi,

That’s my repo. Yup, I’m ever so slowly chugging along. I’ll make a post on here when I think it’s ready for comments.

I think I’ve got it into a reasonable form. If anyone wants to look over for inaccuracy, glaring omission, or other suggestions, I’d be much obliged.

https://github.com/philzook58/learnxinyminutes-docs/blob/master/coq.html.markdown

1 Like

The pull request has been sent by @philzook58. Amazing job!
See it here https://github.com/adambard/learnxinyminutes-docs/pull/3759

1 Like

And it was merged in master. Still not appeared on the main site yet though.

Finally it is appeared on the main page: https://learnxinyminutes.com/docs/coq/

2 Likes