2025-05-20 - SPARK Essentials
===============================

This page contains links to everything you will need for this training class.

Files
-------

* `Slides <https://public-training.adacore.com/2025/05/20/frank/slides.pdf>`_

This is a PDF copy of the slides presented during the course.

* `Lab Source <https://public-training.adacore.com/2025/05/20/frank/lab_source.zip>`_

These are starting points for the class labs.

* `Lab Answers <https://public-training.adacore.com/2025/05/20/frank/lab_answers.zip>`_

These are answers for the class labs.

Schedule
----------

.. include:: 2025-05-20-frank-schedule.rst

Documentation
---------------

* `SPARK Reference Manual <https://docs.adacore.com/live/wave/spark2014/html/spark2014_rm/index.html>`_ 
* `SPARK User's Guide <https://docs.adacore.com/live/wave/spark2014/html/spark2014_ug/index.html>`_ 
* `Ada Reference Manual <https://ada-rapporteur-group.github.io/ARM/Ada_2022/RM-TOC.html>`_ 
* `GNAT Reference Manual <https://docs.adacore.com/live/wave/gnat_rm/html/gnat_rm/gnat_rm.html>`_ 
* `GNAT User Guide <https://docs.adacore.com/gnat_ugn-docs/html/gnat_ugn/gnat_ugn.html>`_