[−][src]Module departed::logic
Structs
| And | |
| Equals | |
| Implies | |
| Not | |
| Or |
Enums
| False | |
| True |
Functions
| absurd | |
| and_elim_l | |
| and_elim_r | |
| and_intro | |
| axiom | Creates a proof of a given type. |
| contradicts | |
| elim_or | |
| equals | |
| implies_elim | |
| implies_intro | |
| not_intro | |
| or_intro_l | |
| or_intro_r | |
| refl |