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