Def Lean.Tactic.evalNormNum

Modification history

2021-10-18 09:49

Mathlib/Tactic/NormNum.lean

feat: ext tactic (#73) …

Deleted Lean.Tactic.evalNormNum View on Github →

2021-05-13 20:13

Mathlib/Tactic/NormNum.lean

feat(Tactic/NormNum): basic normNum from zulip

Added Lean.Tactic.evalNormNum View on Github →