Welcome! This repository contains the examples and exercises for the Stainless tutorial.
To install Stainless and its requirements, please refer to https://epfl-lara.github.io/asplos2022tutorial/ for instructions. Do not hesitate to call us for any questions.
Happy hacking!
The Bolts repository contains many more examples of what Stainless can verify.