Lab for Automated Reasoning and Analysis LARA

Leon System for Verification, Synthesis and Repair

The One, Leon Way

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:

Leon source code is publicly available on github:

The github repository contains the documentation that can be built in various formats, including in particular HTML.

A snapshot of this documentation, including a tutorial, is also available from, please check

leon.txt · Last modified: 2015/06/21 21:25 by vkuncak
© EPFL 2018 - Legal notice