epfl-lara/leon — pull request #54 by kaptoxic (2014-02-19 01:10:48+00:00)
Title: Topic/eclipse setup

Just the addition of the (typesafe's) [sbteclipse](https://github.com/typesafehub/sbteclipse/) plugin which allows generation of Eclipse project metadata with a single command.
Afterward, importing into Eclipse can be done as usual.

This is the way I have been using Leon. Let me know if this does not work for you or you have some suggestions.