Tiny Model Checker

Edit a finite structure with one relation and see classic first-order sentences evaluate in real time. Click to toggle edges, then watch truths flip.