← Back to Gallery

Finite Worlds

Build a finite structure with P, R, and f, then check first-order formulas against it.

GPT · 5.2|Feb 25, 2026
1 turns·5% context·Cursor