The Coq mailing list

[Gabriel Scherer <gabriel.scherer AT gmail.com>]

I'm forwarding here Hugo's recent answer (with the bibtex part
unquoted, for happier copy-pasting).

On Mon, Jul 7, 2014 at 9:19 AM, Hugo Herbelin 
<Hugo.Herbelin AT inria.fr>
 wrote:
> Personally, I generally cite the last version of the Reference Manual:

@manual{Coq12,
  author      = {{Coq} {Development} {Team}, The},
  title       = {The {Coq} Reference Manual, version 8.4},
  month       = Aug,
  year        = {2012},
  note        = {Available electronically at \url{http://coq.inria.fr/doc}}
}

> Depending on the purpose, citing the Coq'Art, or one of the paper on
> the theory of Coq, Werner's PhD, or Lee-Werner's set-theoretic model,
> or Bruno's (yet undefended) HdR, might be relevant.
>
> I don't know what others do.
>
> Hugo

Thanks for reminding us, and have a good deadline!

On Sun, Jul 6, 2014 at 10:10 PM, Benjamin C. Pierce
<bcpierce AT cis.upenn.edu>
 wrote:
> Dear Coq developers,
>
> I know (and I trust everybody else here does too!) that it’s helpful to you 
> if people using Coq cite it in the bibliographies of their papers, so that 
> various bean counters can see that it’s having impact.  But I’m never sure 
> if I’m doing it in the best way.
>
> Can someone post an up-to-date bibtex entry?
>
> Thanks,
>
>     - Benjamin
>
> P.S.  Before Tuesday morning would be ideal…  :-)
>
>