Graph
The goal of this module is to render proof as graphml that are easy to navigate with Yed
Node printing
val to_nodes : Stdlib.Format.formatter -> string Proof.proof -> unit
Proof printing, without header and trailer
val output : Stdlib.Format.formatter -> Ast.typ_prf -> unit
Complete proof printing