# 1. Introduction

This repository contains the source code for the SPARKlib project. SPARKlib
is meant to provide users of [SPARK](https://github.com/AdaCore/spark2014)
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.

# 2. Community

News about SPARK project and SPARKlib are shared primarily on [AdaCore's
blog](https://blog.adacore.com/).

# 3. Documentation

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).
