To build Leon you will need JDK, scala, sbt, and some external solver binaries. On Linux, it should already work out of the box.
To get started, see the documentation chapters, such as
forked from epfl-lara/leon
-
Notifications
You must be signed in to change notification settings - Fork 0
The Leon system for verification, synthesis, and more.
License
manoskouk/leon
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
The Leon system for verification, synthesis, and more.
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Scala 98.0%
- Standard ML 0.6%
- Java 0.4%
- Shell 0.4%
- Python 0.2%
- HTML 0.2%
- Other 0.2%