package alt-ergo-lib

  1. Overview
  2. Docs

Integers implementation. Based on big_int *

module Q : NumbersInterface.QSig with module Z = Z

Rationals implementation. Based on nums *

OCaml

Innovation. Community. Security.