  In this work, we present a visualisation tool that is able to process Coq
proof scripts and generate a table representation of the contained proofs as
$\LaTeX$ or PDF files. This tool has the aim to support both education and
review processes as all proof steps can be visualised. Thus, there is no need
to use Coq in order to review proofs or use them as examples in teaching. In
contrast to the usual approach of visualising proofs as hypertext or markdown
documents, the generated files can be easily printed.
