About AdaCore University
AdaCore University is a platform maintained by AdaCore, holding education material developed by AdaCore and its partners. All material is licensed under Creative Common or similar open-source licenses. Feel free to use and share it. Similar courses can be provided on-site for professional developers, see our commercial offer. For more information, please visit our website, or contact email@example.com.