SPARKlib libraries

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.

Homepage:
https://github.com/AdaCore/SPARKlib
