"""
This module hosts various elements that are necessary to create a proof
checker.
from .props import And, Implies, Prop
from .terms import Term, register_known_const
__all__ = [
"And",
"Implies",
"Prop",
"Term",
"register_known_const",
]