Stainless Tutorial 1/4

01-21, CS-550 Formal Verification

https://github.com/epfl-lara/stainless/releases

Important: you must have Java 8 installed (other versions of Java might make Stainless crash)