package crlibm

You can search for identifiers within the package.

in-package search v0.2.0

Binding to CRlibm, a correctly rounded math lib

Install

Dune Dependency

github.com Readme Changelog LGPL-3.0 License Edit opam file Versions (6)

Authors

C

Christophe Troestler <Christophe.Troestler@umons.ac.be>

Maintainers

C

Christophe Troestler <Christophe.Troestler@umons.ac.be>

Sources

sha256=ac0b9dd06a8842456b5e36551d84d2789c16256446ff2537be9091b1d44b8d27

sha512=e411323f39cf186f3145a9500c560ac8a94c1ff5fc4e6697067733a750f360404be6916e966c10cdc0bd66b0d6878ab1eadfc5586096226e5fea8b1db51a9e35

doc/index.html

crlibm

API

Library crlibm

Crlibm Binding to CRlibm, a library of proved correctly-rounded mathematical functions.

On This Page

API
1. Library crlibm