If you want to learn Ada / SPARK, try https://learn.adacore.com/index.html.