## Stream: new members

### Topic: have vs assume

#### Jeremiah (Oct 04 2018 at 03:57):

What is the difference between have and assume?

#### Simon Hudon (Oct 04 2018 at 03:59):

have states an assertion that you want to prove. assume is something you use when you're trying to prove p -> q: you do assume h : p, show q, ...

thanks

#### Simon Hudon (Oct 04 2018 at 04:01):

:+1:

Last updated: May 15 2021 at 23:13 UTC