Package Usage: npm: @ocaml-wasm/4.12--zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. (WASM port, wasi-sdk 12)
2 versions
Latest release: over 1 year ago
3 dependent packages
39 downloads last month

View more package details: https://packages.ecosystem.code.gouv.fr/registries/npmjs.org/packages/@ocaml-wasm/4.12--zarith

Dependent Repos 2

coq/platform-docs

A project of short tutorials and how-to guides for Coq features and Coq Platform packages.

Size: 187 KB - Last synced: about 2 months ago - Pushed: 2 months ago

liberabaci/liberabaci.gitlabpages.inria.fr

Dépôt git pour le site web de Liber Abaci

Last synced: 7 months ago