Axiom Orchard

Plant axioms on a dark canvas and watch them branch into a drifting orchard of implications. Contradictions crack and fade, and you can save a snapshot of your garden.