This repository contains the source code for the SPARKlib project. SPARKlib is meant to provide users of SPARK libraries to use in SPARK code. SPARKlib contains various libraries, such as a wide range of containers, as well as lemmas to use directly in user code.
News about SPARK project and SPARKlib are shared primarily on AdaCore's blog.
Documentation about what is provided in the SPARKlib and how to use it can be found in the [SPARK User's Guide] (https://docs.adacore.com/spark2014-docs/html/ug/en/source/spark_libraries.html#spark-library).