List of all items

Structs

• proof::And
• proof::Equiv
• proof::FALSE
• proof::Implies
• proof::Neg
• proof::Or
• proof::Proof
• proof::SuchThat
• proof::TRUE

Traits

• named::Named

Functions

• named::name
• proof::absurd
• proof::and_elim_l
• proof::and_elim_r
• proof::and_intro
• proof::axiom
• proof::contradict
• proof::equiv_elim
• proof::equiv_intro
• proof::false_elim
• proof::impl_elim
• proof::impl_intro
• proof::modus_ponens
• proof::neg_elim
• proof::neg_intro
• proof::or_intro_l
• proof::or_intro_r
• proof::refl
• proof::such_that
• proof::true_intro