Foundations of Functional Programming in Scala is a comprehensive, self-paced online course with no prerequisites, which helps you to become a confident, productive, and powerful functional Scala developer.
Why do you think that https://github.com/epfl-lara/stainless is a good alternative to foundations