Custom Jupyter notebook exporter that can use pgfplots instead of images for plots.
Primary LanguagePython