Hi, does anybody build .tex files when using coqdoc? What do you do with the .tex files later?
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.
example: https://github.com/ilyasergey/pnp
Last updated: Jan 29 2023 at 01:02 UTC