Proof Weave

Draw axioms as strokes that bend a vector field. Particles drift, and the system sketches short-lived links that try to become a proof.