Commit 2022-10-10 21:33 9dd1a748

feat: simp? and squeeze_scope tactics (#449) The simp? tactic is a simple wrapper around the simp with trace behavior implemented in core. The squeeze_scope tactic allows aggregating multiple calls to simp coming from the same syntax but in different branches of execution, such as in cases x <;> simp. The reported simp call covers all simp lemmas used by this syntax.