Certification of LaTTe namespaces.
The functions in this namespace allow to take a snapshot of
the current running state of a namespace, and issue a certificate
of all the theorems demonstrated (using a cryptographic signature scheme).
This is a form of compilation for demonstrated theorems.

This namespace provides the top-level forms of the LaTTe
framework.

The entry point for LaTTe as a standalone tool.
This is mainly for certifying the core library (target `certify`)
but other functionalities are provided, like listing axioms, etc.

Misc. utilities for LaTTe libraries.