1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
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>.
|
