We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Powerful and simple programming language verifier!
Check out our official documentation.
Verification-aware language with affine types
There was an error while loading. Please reload this page.