libzipperposition
Libzipperposition.Clause_intf
libzipperposition.avatar
libzipperposition.calculi
libzipperposition.induction
libzipperposition.phases
type proof_step = Logtk.Proof.Step.t
type proof = Logtk.Proof.S.t
module type S = sig ... end