found hoare logic for assert and assume in Hoare.v
found hoare logic for assert and assume in Hoare.v

shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps