Pinned Repositories
inox
Solver for higher-order functional programs
leon
The Leon system for verification, synthesis, repair
stainless
Verification framework and tool for higher-order Scala programs
inox
Solver interface for higher-order functional programs
leon
The Leon system for verification, synthesis, and more.
leon2015
Fork of Leon
Orb2015
An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs
scalacache
Simple caching in Scala
SEAL
stainless
Verification framework for higher-order functional programs
ravimad's Repositories
ravimad/Orb2015
An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs
ravimad/SEAL
ravimad/inox
Solver interface for higher-order functional programs
ravimad/leon
The Leon system for verification, synthesis, and more.
ravimad/leon2015
Fork of Leon
ravimad/scalacache
Simple caching in Scala
ravimad/stainless
Verification framework for higher-order functional programs