Projection utilities should actually be able to produce images #2
Description
The 2D projection script (project.py) and 3D projection script (project3d.py) should be able to actually produce a PDF or PNG image, as well as outputting TiKZ code.
{{ message }}