Install latest/beta of Stainless
Ubuntu 16.04 or later?
Make sure snap support is enabled in your Desktop store.
Install using the command line
sudo snap install stainless --betaDon't have snapd? Get set up for snaps.
You are about to open
Do you wish to proceed?
Thank you for your report. Information you provided will help us investigate further.
There was an error while sending your report. Please try again later.
Generate an embeddable card to be shared on external websites.
Stainless is a program verifier and counterexample finder for Scala 3. It uses SMT solvers (z3, cvc5, princess), function unfolding, and invariant inference to prove and disprove program safety and termination.
Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the installing snapd documentation.
