An interactive learning platform to teach the Ada and SPARK programming languages.