package coq-flocq

  1. Overview
  2. No Docs
A formalization of floating-point arithmetic for the Coq system

Install

Dune Dependency

flocq.gitlabpages.inria.fr Edit opam file Versions (22)

Authors

  1. S
    Sylvie Boldo <sylvie.boldo@inria.fr>
  2. G
    Guillaume Melquiond <guillaume.melquiond@inria.fr>

Maintainers

  1. G
    guillaume.melquiond@inria.fr

Sources

flocq-4.2.0.tar.gz
sha512=71b3b07088d1aaf4e613bb60ed1dbc4b1165fb4d0f78828768cf9a56a9f66c36b5540bd18ab06fa0bf3d6b3fe00c5ac52fdfefa15589be58eec243f6133e0d59

Description

Tags

keyword:floating-point arithmetic logpath:Flocq date:2024-07-02

Published: 02 Jul 2024

Dependencies (3)

  1. conf-clang build
  2. conf-g++ build
  3. coq >= "8.12"

Dev Dependencies (1)

  1. conf-autoconf build & dev

Used by (16)

  1. coq-compcert >= "3.7~coq-platform" & < "3.7" | >= "3.11"
  2. coq-compcert-32 >= "3.11"
  3. coq-compcert-64 < "3.7"
  4. coq-flocq-quickchick >= "1.0.1"
  5. coq-gappa >= "1.4.0" & < "1.4.4" | >= "1.5.0"
  6. coq-interval >= "3.4.0" & < "4.0.0" | >= "4.3.0"
  7. coq-libvalidsdp >= "0.6.0"
  8. coq-num-analysis
  9. coq-qcert = "1.0.9"
  10. coq-validsdp
  11. coq-vcfloat
  12. coq-vellvm
  13. coq-vst >= "2.6"
  14. coq-vst-32
  15. coq-vst-64
  16. coq-vst-lib

Conflicts

None