COQUELICOT
==========

This library provides vernacular files containing a formalization of real
analysis for the [Coq proof assistant](https://coq.inria.fr/). It is
a conservative extension of the standard library `Reals` with a focus on
usability.

PROJECT HOME
------------

Homepage: http://coquelicot.saclay.inria.fr/

Repository: https://gitlab.inria.fr/coquelicot/coquelicot

Bug tracker: https://gitlab.inria.fr/coquelicot/coquelicot/issues

COPYRIGHT
---------

This package is free software; you can redistribute it and/or modify it
under the terms of GNU Lesser General Public License (see the
[COPYING](COPYING) file). Authors are Sylvie Boldo <sylvie.boldo@inria.fr>,
Catherine Lelay <catherine.lelay@inria.fr>, and
Guillaume Melquiond <guillaume.melquiond@inria.fr>.
