package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Dom_interval : sig ... end

module Fp : sig ... end

FloatingPoint theory as described in SMT-LIB 2

module Fp_value : sig ... end

module Rounding_mode : sig ... end