← Back to Gallery

Finite Model Lab

Build a tiny structure and toggle its relations. Type first order sentences and watch which ones turn true or false.

GPT · 5.2|Apr 12, 2026
6 turns·55% context·Cursor