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