Floating point number library for OCaml
Floating point numbers library which originated from the "Flocq" library for the Coq theorem prover.
$
pkg install ocaml-farithOrigin
math/ocaml-farith
Size
2.83MiB
License
LGPL21
Maintainer
freebsd@dev.thsi.be
Dependencies
6 packages
Required by
1 packages