GitHub repository: ravimad/Orb2015
Primary language: Scala
Created: 2015-05-12T12:48:38Z
Description: An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs