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

crlibm-0.5.1.tbz

sha256=fcc6ff4497eb168a91bac7967316164ff0d3e1ee776fed958718a9cd7c49983b

sha512=1b62bde2d45b74ef4b15b015c90bb0f0a292180b6436f8deab81d54ab08b9cede9265c82b309a4e5377f97181049d1430bce8867df025a09859f503de0eb8032

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