Skip to main content

auto

logicaffeine_proof::tactic::combinators

Function auto 

Source 
pub fn auto() -> Tactic
Expand description

auto (the backward chainer) as a tactic value.