Type Alias InferenceRule

InferenceRule:
    | "axiom"
    | "conjunction"
    | "disjunction"
    | "implication"
    | "negation"
    | "universal_intro"
    | "universal_elim"
    | "induction"
    | "case_split"
    | "modus_ponens"
    | "contradiction"
    | "assumption"
    | "witness"
    | "exhaustive_check"