Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up

An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs

License

NotificationsYou must be signed in to change notification settings

ravimad/Orb2015

Repository files navigation

Getting Started

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

For change log, see CHANGELOG.md

[8]ページ先頭
©2009-2025 Movatter.jp