|
|
|
|
|
|
by Cieplak
1290 days ago
|
|
|
I think the images are static, so presumably pre-rendered server-side. The editing & rendering on the individual example pages seems to making an API call to a server, which I think is running this [1]. [1] https://github.com/davidcarlisle/latexcgi |
|
|