Skip to content

epfl-lara/bolts

Repository files navigation

Build Status

Bolts: Stainless Verified Scala

This repository showcases examples of code verified using Stainless system for Scala. The benchmarks executed from run-tests.sh should run correctly with a recent main branch of Stainless and most are in this file.

Some highlights:

Notable Stainless case studies outside of this repository include:

About

Bolts: Stainless Verified Scala Examples

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published