mirror of
https://github.com/AdaCore/SPARKlib.git
synced 2026-02-12 13:11:36 -08:00
7eee48d617
This patch copies and adapts the source files of SPARKlib from the spark2014 repository into this one. It also changes the license of these files, as SPARKlib is now licensed under Apache 2.0.
676 B
676 B
1. Introduction
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.
2. Community
News about SPARK project and SPARKlib are shared primarily on AdaCore's blog.
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).