3 ms·
If you’re curious about Ada or SPARK, a great place to start: https://learn.adacore.com/ https://learn.adacore.com/
by andsoitis 1y ago
If you’re curious about Ada or SPARK, a great place to start: https://learn.adacore.com/ https://learn.adacore.com/