Hello the list,

Happy New Year to everybody!

I have a dedicated server for a  personal website and I wonder how it is
possible to use  texlive as most as possible into  html webpages, in the
same way that we export via org-mode.

I would be glad  for example to use the proof.sty  package to import png
images like in this email, to get for example the image of this formal
derivation 

\[
\infer[^{L\lnot {\rm \mathit{def}}}]{\lnot \lnot P \Rightarrow P}{
  \infer[^{L\lnot {\rm \mathit{def}}}]{\lnot P \supset \bot \Rightarrow P}{
    \infer[^{L\supset\supset}]{(P \supset \bot) \supset \bot \Rightarrow P}{
      \infer[^{{\rm \mathit{Ax_{c}}}}]{\bot \supset \bot, P \Rightarrow \bot, P}{}
      &
      \infer[^{L\bot}]{\bot \Rightarrow P}{}
    }
  }
}
\]

in a html webpage easily. But I do  not know how to do. The CMS that I
am       using      is       /not/      WordPress,       but      SPIP
[[https://www.spip.net/en_rubrique25.html]]

Help would be very welcome.

Again, happy 2019 to everybody!

-- 
Jo.