Def Linarith.runLinarith

Modification history

2023-04-20 04:08

Mathlib/Tactic/Linarith/Frontend.lean

fix: discard linarith wrong type equalities, style (#2611) …

Modified Linarith.runLinarith View on Github →

2022-11-28 22:26

Mathlib/Tactic/Linarith/Frontend.lean

feat: port linarith (#526) …

Added Linarith.runLinarith View on Github →