package coq-float
Library for floating-point numbers
Install
Dune Dependency
Authors
Maintainers
Sources
v8.6.0.tar.gz
md5=3644ef7412b3245ee1df1d9333c725f2
Description
A library for floating-point numbers.
Tags
keyword: floating-point arithmetic category: Computer Science/Data Types and Data Structures date: 2001Published: 20 Nov 2018
On This Page