Scenes
⚙
⟳
SizeOpacity
Labels1.01.0
Arrows1.01.0
Axes1.01.0
Vectors1.01.0
Lines1.01.0
Planes1.00.2
Caption1.00.7
Light
Azimuth35°
Elevation50°
Brightness0.80
Controls
Momentum50%
Drag: rotate
Shift+drag: pan
Wheel / pinch: zoom
⌥+drag: roll
Drag: rotate · Shift+drag: pan · Zoom: pinch/wheel · ⌥+drag: roll
Drop JSON file here
AlgeBench
Drag & drop a scene JSON, or use the toolbar above
100%
Select a proof step with a semantic graph to view it here.