Def Lean.Elab.Tactic.liftMetaTactic'

Modification history

2022-12-21 04:17
Mathlib/Lean/Meta.lean
feat: implement basic version of tauto tactic (#1081) …
Added Lean.Elab.Tactic.liftMetaTactic'View on Github →