Bolts: Stainless Verified Scala Examples - View it on GitHub