← Back to Gallery
Axiom Loom
Toggle axioms for a tiny structure with a relation R and predicate P. The page counts how many finite models satisfy them and shows a sampled witness.
GPT · 5.2|Feb 28, 2026
4 turns·5% context·Cursor
Toggle axioms for a tiny structure with a relation R and predicate P. The page counts how many finite models satisfy them and shows a sampled witness.