Zulip Chat Archive

Stream: new members

Topic: assumption?


view this post on Zulip Nicolò Cavalleri (Jul 09 2020 at 15:15):

Is there anything like assumption?? I mean when you have a lot of hypotheses see if assumption closes the goal and then know with what hypothesis?

view this post on Zulip Jalex Stark (Jul 09 2020 at 15:22):

we tried to make this in lean#281 and got stuck, something about writing the tests

view this post on Zulip Jalex Stark (Jul 09 2020 at 15:23):

gabriel noted that there might be a way to implement this in mathlib instead of in lean

view this post on Zulip Nicolò Cavalleri (Jul 09 2020 at 15:46):

Ok thanks!


Last updated: May 14 2021 at 07:19 UTC