Can I know how you draw the images in the gif?
yxchng opened this issue · comments
There are instructions on how to generate the GIFs in the README. For now we don't plan to make a detailed write-up of how the pipeline is implemented (it's a rather convoluted and probably over-engineered mix of Python, LaTeX, and ImageMagick), but the code is there for you to read if you feel brave.