← Back to Gallery

Kripke Quilt

A tiny modal model you can edit. Type a formula and see which worlds satisfy it.

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