farithversion
Floating point numbers library extracted from the Flocq Coq Library
Authors | François Bobot, Loïc Correnson and Arthur Correnson |
---|---|
License | LGPL-2.1 |
Published | |
Homepage | https://git.frama-c.com/pub/farith |
Issue Tracker | https://git.frama-c.com/pub/farith/issues |
Maintainer | François Bobot |
Dependencies | |
Source [http] | https://git.frama-c.com/pub/farith/-/archive/0.1/farith-0.1.tar.bz2 sha256=c2d2a99777ef2c8652fa5328feb80359d233dc88ff5a895248083412a558657f sha512=c0405daeee927d8351b7ffa5c24ade8e62ff07dca2a715064c7bd7a63ce66b03c16f22aa462085bd98bd32157db4aad854ba00b5607417847392f79fb363d953 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/farith/farith.0.1/opam |
Required by