package alt-ergo-lib

  1. Overview
  2. Docs
module Z : NumbersInterface.ZSig with type t = Big_int.big_int

Integers implementation. Based on big_int *

module Q : NumbersInterface.QSig with module Z = Z

Rationals implementation. Based on nums *

OCaml

Innovation. Community. Security.