package coq-float
Library for floating-point numbers
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=29d80b937683f8384fb505c9a6a396db
Description
A library for floating-point numbers.
Tags
keyword: floating-point arithmetic category: Computer Science/Data Types and Data Structures date: 2001Published: 07 Dec 2019
On This Page