Skip to main content

induction

logicaffeine_proof::tactic::combinators

Function induction 

Source 
pub fn induction() -> Tactic
Expand description

induction (structural induction over Nat) as a tactic value.