README.md 716 Bytes
Newer Older
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 26 27 28
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: http://flocg.gforge.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).