The Institute for Applied Ontological Mathematics
Circuit designer
Design an exact discrete-phase circuit and play it. Every lens is recomputed in your browser by the verified core — the interface simulates nothing.
- 1
Start a circuit
Pick a sample on the left, place gates from the palette, or load OpenQASM / qcir.
- 2
Watch it exactly
Play it step by step. Every lens below recomputes in your browser on the verified core.
- 3
Close the loop
Certify to mint a content-addressed certificate, a Lean proof, and runnable provider code.
What you can ask of this circuit
free & local · or on the kernel
Where this comes from
The Institute for Applied Ontological Mathematics is the public research arm of Apoth3osis, an applied R&D lab. Under a Curry–Howard / BHK correspondence a proof is a program — so we turn the mathematics that governs a hard problem into verifiable software. This designer is a working specimen of that method; quantum is the demonstration, not the limit.
Tell us where being wrong is expensive. After the proof of concept we partner with a small number of researchers and operators on scopes they define, built to the invariants that matter to their work and hardened for daily operations. Nothing you designed here was certified in-browser — the certificate and Lean proof are the paid step, and the part a competitor cannot fake.
contact@ontologicalmathematics.org →