4 ms·

Using TikZ and UltiSnips in vim, you can create figures very quickly; the following took me 2-3 minutes to make (I had the datafile beforehand): https://drive.

Using TikZ and UltiSnips in vim, you can create figures very quickly; the following took me 2-3 minutes to make (I had the datafile beforehand): https://drive.google.com/file/d/1eLe0LdKqPyPdmXel_3DwP9AZcIQ19wF1/view?usp=sharing https://drive.google.com/file/d/1eLe0LdKqPyPdmXel_3DwP9AZcIQ... I don't know about real-time, though; I'd never try to draw figures in real time.

reuben364 3y ago
I didn't expect Lean 4 in this context.
- ykonstant 3y ago
  I use it a lot for all kinds of programming, including generating, formatting and processing data for various datasets; it is very convenient if you know how to make it work fast (it is not always easy).