Skip to main content

linarith

logicaffeine_proof::tactic::combinators

Function linarith 

Source 
pub fn linarith() -> Tactic
Expand description

omega as a tactic value. linarith (rational Fourier-Motzkin with a Farkas certificate) as a tactic value.