package coq-flocq

  1. Overview
  2. Homepage

Description

Tags

keyword:floating-point arithmetic

Published: 23 Mar 2018

Dependencies (1)

  1. coq >= "8.4pl4" & < "8.9~"

Dev Dependencies

None

Used by (5)

  1. coq-gappa < "1.4.0"
  2. coq-interval < "3.4.0"
  3. coq-jsast < "2.0.0"
  4. coq-pi-agm = "1.2.1"
  5. coq-qcert >= "1.0.7" & < "2.1.0"

Conflicts

None

Rocq

Interactive Theorem Prover