Proof Engine: Rust renderer where the math is the visual, no meshes, no polygons | Heykuki News