package coq-flocq

You can search for identifiers within the package.

in-package search v0.2.0

A floating-point formalization for the Coq system

Install

Dune Dependency

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

Authors

Maintainers

G

guillaume.melquiond@inria.fr

Sources

flocq-2.4.0.tar.gz

md5=36cee0fb33acf8d292d76a28a22062d5

Description

Tags

keyword:floating-point arithmetic

Published: 25 Nov 2015

Dependencies (1)

coq >= "8.4pl4" & < "8.5~"

Dev Dependencies

None

Used by (1)

coq-pi-agm = "1.2.1"

Conflicts

None

On This Page

Description
Dependencies (1)
Dev Dependencies
Used by (1)
Conflicts