jad-hamza/bolts

Bolts: Stainless Verified Scala

bolts

Bolts: Stainless Verified Scala

This repository showcases additional examples of code verified using Stainless system for Scala.