package farith

  1. Overview
  2. Docs
Floating point numbers library extracted from the Flocq Coq Library

Install

Dune Dependency

git.frama-c.com Changelog LGPL-2.1 License Edit opam file Versions (1)

Authors

  1. F
    François Bobot
  2. L
    Loïc Correnson
  3. A
    Arthur Correnson

Maintainers

  1. F
    François Bobot

Sources

farith-0.1.tar.bz2
sha256=c2d2a99777ef2c8652fa5328feb80359d233dc88ff5a895248083412a558657f
sha512=c0405daeee927d8351b7ffa5c24ade8e62ff07dca2a715064c7bd7a63ce66b03c16f22aa462085bd98bd32157db4aad854ba00b5607417847392f79fb363d953

Description

Published: 30 May 2022

Dev Dependencies (1)

  1. odoc with-doc

Conflicts

None