package coq-flocq

  1. Overview
  2. Homepage

Description

Tags

keyword:floating-point arithmetic

Published: 07 Feb 2019

Dependencies (1)

  1. coq >= "8.7" & < "8.10~"

Dev Dependencies

None

Used by (8)

  1. coq-compcert >= "3.8" & < "3.11"
  2. coq-compcert-32 < "3.11"
  3. coq-flocq-quickchick < "1.0.2"
  4. coq-gappa >= "1.4.0" & < "1.6.0"
  5. coq-interval >= "3.4.0" & < "4.11.1"
  6. coq-libvalidsdp >= "0.6.0" & < "1.0.0"
  7. coq-qcert = "1.0.9"
  8. coq-validsdp < "1.0.0"

Conflicts

None

Rocq

Interactive Theorem Prover