FLOCQ
=====

The Flocq library provides vernacular files formalizing multi-radix
multi-precision fixed- and floating-point arithmetic for the
[Coq proof assistant](https://coq.inria.fr/).

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

Homepage: https://flocq.gitlabpages.inria.fr/

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

Bug tracker: https://gitlab.inria.fr/flocq/flocq/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>
and Guillaume Melquiond <guillaume.melquiond@inria.fr>.

INSTALLATION
------------

See the file [INSTALL.md](INSTALL.md).
