5 ms·

Would be nice if someone well versed in Coq will add[1] the corresponding page in Learn X in Y minutes site. [1] https://github.com/adambard/learnxinyminutes-d

• philzook 7y ago
  Interesting, I was recently looking into doing this after seeing a similar request on discourse (not that I am a coq expert by any means). https://github.com/philzook58/learnxinyminutes-docs/blob/master/learncoq.v https://github.com/philzook58/learnxinyminutes-docs/blob/mas... I was thinking about basically taking the OCaml one and transcribing it, leaving proving to a short blurb at the end and the references. Still useful I think.
  • xvilka 7y ago
    Amazing, hopefully, pull request soon ;)