@Emilio Jesús Gallego Arias by any chance, did you write a piece of code which renders Pp.t to HTML, in one of your projects? It would be useful for the goal display in VsCoq.
Best candidate, but not yet 100% perfect is Shachar's code in jsCoq
Do you have a pointer to the code?
Ok, I guess I can have a look at https://github.com/jscoq/jscoq/blob/v8.11/ui-js/format-pprint.js
https://github.com/jscoq/jscoq/blob/v8.11/ui-js/format-pprint.js
yup that is
thanks
Last updated: Oct 13 2024 at 01:02 UTC