Reason on a Canvas
Every step of your thinking stays out in the open.
Landscapes & hidden properties
Meaning has a geometry — explore it, and pull hidden properties out of it.
Rigor you can check
Show your work, and prove the result holds.
The model, kept in its lane
The model does the busywork; the reasoning stays yours.
See & Share
Turn your work into something others can explore.
Local-First & Open Source
Your data stays yours, and the software is open.