logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk_proofs . LLProof . Dot
val pp_dot : name:string -> t CCFormat.printer

Pretty print the proof as a DOT graph

val pp_dot_file : ?name:string -> string -> t -> unit

print to dot into a file

val pp_dot_seq : name:string -> t Iter.t CCFormat.printer

Print a set of proofs as a DOT graph, sharing common subproofs

val pp_dot_seq_file : ?name:string -> string -> t Iter.t -> unit

same as pp_dot_seq but into a file