Drift

An interactive structure of elements and relations. Add nodes, draw edges, toggle properties, and watch model-theoretic facts update live.