Up – Package index » libzipperposition » Library libzipperposition.calculi » Libzipperposition_calculi » Induction

Module `Libzipperposition_calculi.Induction`Source

Induction through Cut

Sourcemodule type S = Induction_intf.S

module Make
  (E : Libzipperposition.Env.S)
  (A : Avatar_intf.S with module E = E) : 
  S with module Env = E

Sourceval extension : Libzipperposition.Extensions.t