The Coq mailing list

[Éric Tanter <etanter AT dcc.uchile.cl>]

Hi,

(I’m not sure this is the correct forum to post questions about coqdoc but I 
couldn’t find a dedicated mailing list for coqdoc — let me know if this 
should go elsewhere)

coqdoc can render Coq source files in tex, with a very elegant style (both 
special fonts and colors). I wonder if there is a way to pretty print Coq 
source within tex documents following the same style. 

I found some libraries for the listings package, in particular this one:
https://hal.archives-ouvertes.fr/file/index/docid/594606/filename/lstcoq.sty
It also has nice colors, but it’s not the same style as coqdoc overall, so 
one cannot use both in the same document.

Thanks,

-- Éric