GAP Course Material
The material in this archive is the Ada and SPARK teaching material used by various professional instructors. It's not meant to be a unique teaching experience, but rather four different courses, each with commonalities and specificities. The material can be used as-is, or modified to serve as the basis for custom Ada or SPARK courses. It can be freely distributed under the terms of the Creative Commons "Attribution-ShareAlike 4.0 International".
Self-learning teaching material is also available at learn.adacore.com