Stream: Coq users

Topic: Latex and coqdoc

view this post on Zulip Ali Caglayan (May 21 2022 at 21:37):

Hi, does anybody build .tex files when using coqdoc? What do you do with the .tex files later?

view this post on Zulip Ali Caglayan (May 21 2022 at 21:38):

For HTML everything is dandy since you can browse them immediately, but I would like to understand what peoples workflows are with respect to the latex generation.

view this post on Zulip Karl Palmskog (May 21 2022 at 21:42):

example: https://github.com/ilyasergey/pnp

Last updated: Sep 30 2023 at 05:01 UTC