logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk_arith
module Z : sig ... end
module Q : sig ... end