Zulip Chat Archive

Stream: general

Topic: simpa at

Kevin Kappelmann (Jun 06 2019 at 12:59):

Is there some reason why we can do rwa [...] at some_hypothesis but not simpa [...] at some_hypothesis? I know I can use simpa [...] using some_hypothesis, but in most of my cases, I do not need to simplify the goal as well.

Last updated: Dec 20 2023 at 11:08 UTC