Verification and Generation of Smart Contracts using Stainless and Scala - View it on GitHub