List of all items

Structs

• logic::And
• logic::Equals
• logic::Implies
• logic::Not
• logic::Or
• named::Named
• proof::Proof
• proof::SuchThat

Enums

• logic::False
• logic::True

Traits

• named::NameFn
• named::NameFn2

Macros

• gdp

Functions

• logic::absurd
• logic::and_elim_l
• logic::and_elim_r
• logic::and_intro
• logic::axiom
• logic::contradicts
• logic::elim_or
• logic::equals
• logic::implies_elim
• logic::implies_intro
• logic::not_intro
• logic::or_intro_l
• logic::or_intro_r
• logic::refl
• named::name
• named::name2
• named::unsafe_name
• proof::such_that