"""
    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",
]