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

I'll also plug my no-nonsense guessing game tutorial for getting started with Ada quickly: https://entropicthoughts.com/guessing-game-ada-style