LPBackend adapter: pure-Lean LP solver, zero native deps. Priority 100 for the by lp tactic registry. - View it on GitHub