Exam coverage - Githubissues

swtv-kaist / cs458-fall22

1 stars 0 forks source link

Exam coverage #45

Open A-Mehdi opened 1 year ago

A-Mehdi commented 1 year ago

Are first-order theories included in the final exam?

moonzoo commented 1 year ago

No. First order theories are not included in the final exam.