Learn Ada and SPARK.

[rigoletto@]

AdaCore put out a free online 'learning platform' for Ada and SPARK.

learn.adacore.com

Ada, Past Present and Future

Cheers!

 

[rigoletto@]

Now some Videos Tutorials

 

[rigoletto@]

Prove in Cloud.