Search results

Adds an introductory example as another test

Status: Open (in progress).

ocaml/Zarithnumber 164

#164 In ocaml/Zarith;

· johnwhitington opened on Jun 23, 2025

When ocamlfind is there (and not unplugged), use it to call ocaml tools during compilation

Status: Open (in progress).

ocaml/Zarithnumber 161

#161 In ocaml/Zarith;

· pirbo opened on Mar 25, 2025

Add solver for linear Diophantine equations

Status: Open (in progress).

ocaml/Zarithnumber 159

#159 In ocaml/Zarith;

· xavierleroy opened on Jan 16, 2025

LibTomMath backend support

Status: Open (in progress).

ocaml/Zarithnumber 155

#155 In ocaml/Zarith;

· antoinemine opened on Aug 21, 2024

[build] [wip] Support for the dune build system v2

Status: Draft (not ready).

ocaml/Zarithnumber 143

#143 In ocaml/Zarith;

· hhugo opened on Jul 18, 2023