Loading Python runtime (first visit
takes a few seconds)…

Note: in the browser, promises (requires/ensures/invariant) are checked
while the program runs. The installed version also PROVES them before
running, using the Z3 theorem prover, and compiles hot functions to
native code with LLVM. github.com/gowrishankar-infra/velaris-lang