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: Sep 30 2023 at 05:01 UTC