Validating Proofs
=================

.. contents:: |toctitle|
	:local: