If you’re curious about Ada or SPARK, a great place to start: https://learn.adacore.com/