Leon is an automated system for verifying, repairing, and synthesizing functional Scala programs. The system can be tried out online, with no installation required, at the following link: http://leon.epfl.ch Leon source code is publicly available on github: https://github.com/epfl-lara/leon The github repository contains the documentation that can be built in various formats, including in particul