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