Def Lean.Elab.Tactic.evalInhabit

Modification history

2022-08-01 09:31
Mathlib/Tactic/Inhabit.lean
chore: bump to 2022-07-31 (#359)
Modified Lean.Elab.Tactic.evalInhabitView on Github →
2022-07-27 13:58
Mathlib/Tactic/Inhabit.lean
feat: add inhabit tactic (#340)
Added Lean.Elab.Tactic.evalInhabitView on Github →