Skip to main content

cases

logicaffeine_proof::tactic::combinators

Function cases 

Source 
pub fn cases(name: &str) -> Tactic
Expand description

cases name (∧/∨/∃ elimination) as a tactic value.