Several invited talks and papers written by LARA group discuss Leon; you can find more of them from [[http://​lara.epfl.ch/​~kuncak/​|Viktor'​s page]].

-

-

===== Contributors =====

-

-

Leon has started as the work of Philippe Suter, but many PhD and MSc students have contributed to Leon over the years. For the direct contributions to Leon as it is currently, please consult the github repository and its forks. Etienne Kneuss is currently responsible,​ among other activities, for maintaining a stable version of Leon.