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-only 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=7a452db575fb9f55b6cc92b2df33edfb3b743f387a35ff2a3d7a148e5e13afc9

md5=d5f810416a850e80a5b0f1d4b5951939

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