Skip to main content

by_contra

logicaffeine_proof::tactic::combinators

Function by_contra 

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

by_contra h as a tactic value.