5 ms·
Tinymist plugin in vscode is all you need to install, no giant amorphous TexLive thing needed for local editing.
by amoshebb 1y ago
Tinymist plugin in vscode is all you need to install, no giant amorphous TexLive thing needed for local editing.