Def Mathlib.Tactic.Propose.propose

Modification history

2023-10-31 09:38

Mathlib/Tactic/Propose.lean

chore: bump toolchain to v4.3.0-rc1 (#8051) …

Modified Mathlib.Tactic.Propose.propose View on Github →

2023-04-18 12:01

Mathlib/Tactic/Propose.lean

feat: `propose`, a forwards-reasoning analogue of `library_search`. (#2898) …

Added Mathlib.Tactic.Propose.propose View on Github →