ravimad/Orb2015

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

SEAL