Benchmarks comparing the lp tactic against mathlib's linarith - View it on GitHub