package coq-flocq

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

Install

Dune Dependency

Authors

Maintainers

Sources

flocq-3.4.1.tar.gz
sha512=7d8d9ea86a95f006466329f9abf90ebd0bea16c40a90010b921f6dcd1dfd7cb791087f2f6f8f5e9f13286432ffface7e2a6aeaf80b32b21bf9eb9d60ffa87e24

Description

Dependencies (3)

  1. conf-clang build
  2. conf-g++ build
  3. coq (>= "8.7" & < "8.11~") | (>= "8.12" & < "8.15~")

Dev Dependencies (1)

  1. conf-autoconf build & dev

Used by (12)

  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.6.0"
  6. coq-interval >= "3.4.0"
  7. coq-libvalidsdp >= "0.6.0"
  8. coq-qcert = "1.0.9"
  9. coq-validsdp
  10. coq-vst >= "2.6" & < "2.10"
  11. coq-vst-32 < "2.10"
  12. coq-vst-64

Conflicts

None

Rocq

Interactive Theorem Prover