
AdaCore U has been retired. You can find an archive of all the courses on our YouTube playlist. And be sure to check out our new interactive learning site learn.adacore.com
To report an issue, please visit https://github.com/AdaCoreU/Courses/issues
To report an issue, please visit https://github.com/AdaCoreU/Courses/issues