The SEE Playground

Run SEE programs in your browser with syntax coloring, examples, proofs, and shareable editor links.

⚙ Advanced configuration
No background knowledge loaded.

Enter any SEE file URL and click “Load from URL”. Background knowledge is prepended if the program runs.

Editable SEE program custom program
Output Idle.
(no output yet)
Ready. see v…

For local use, serve the checkout with a small HTTP server first; browser modules and example loading usually do not work from file://.