search

snu-sf-class / pl201602

SNU 2016 Fall 4190.310 Programming Language
22 stars 10 forks source link

What theorems are provided in the final exam? #59

Closed iskim517 closed 7 years ago

iskim517 commented 7 years ago

Doing my homework, I used the lemmas in the textbook. They were very useful. (Ex: hoare_seq, hoare_consequence_pre, etc.)

Could you let me know what theorems will be available in the final exam? Thank you.

iskim517 commented 7 years ago

TA says that the entire textbook will be provided. Closing.