Skip to main content

rewrite

logicaffeine_proof::tactic::combinators

Function rewrite 

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

rewrite name (Leibniz substitution by an equality) as a tactic value.