ocaml-zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers.
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers.
To install this package, run one of the following:
Installation commands are not available for this package.
Summary
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers.
Last Updated
Aug 10, 2021 at 06:11
License
LGPL-2.0-only