libzipperposition

Library for Zipperposition
IN THIS PACKAGE
val register : unit -> unit

Register the inference rules for inductive reasoning