Scala - gusenov/kb GitHub Wiki Stainless: Formal Verification for Scala Courses Jon Pearce Lectures Scala for Java Programmers scala2