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