EPFL videos and channels have moved to mediaspace.epfl.ch. Find out more…
https://tube.switch.ch/videos/03edee61
9 September 2020, Jad Hamza, 348 views
https://github.com/epfl-lara/stainless/releases
Important: you must have Java 8 installed (other versions of Java might make Stainless crash)
Viewable by everyone. All rights reserved.