ProverTask.printer
method paragraph : unit
method lines : unit
method section : string -> unit
method hline : unit
method printf : 'a. ( 'a, Stdlib.Format.formatter, unit ) Stdlib.format -> 'a