9 ms·There's TinyTeX: https://yihui.org/tinytex/ https://yihui.org/tinytex/by dloss 2y agoThere's TinyTeX: https://yihui.org/tinytex/ https://yihui.org/tinytex/