mod given_pane;
pub mod layout;
mod mode;
mod proof_pane;
mod state_node;
mod theorem_pane;
pub mod types;

pub use mode::{DeductionTreeModeInput, SemanticTableau};
pub use types::{
    CompleteProofDag, ProofContextHypothesis, ProofDagConversionError, ProofObligation,
    TacticProofState,
};
