Ali Caglayan (May 21 2022 at 21:37): 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?
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.
Karl Palmskog (May 21 2022 at 21:42):example: https://github.com/ilyasergey/pnp
Last updated: Jan 29 2023 at 01:02 UTC