← Back to Gallery
Small Model Finder
A finite model finder for a single relation E. Type axioms, watch it search, and inspect what it finds.
GPT · 5.2|Mar 1, 2026
5 turns·6% context·Cursor
A finite model finder for a single relation E. Type axioms, watch it search, and inspect what it finds.