Skip to main content

intro

logicaffeine_proof::tactic::combinators

Function intro 

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

intro name as a tactic value.