search

kaist-cp / cs220

268 stars 53 forks source link

Why3 task for lecture tomorrow #395

Closed jakobsteinke closed 1 month ago

jakobsteinke commented 1 month ago

Related Issue

-

Googling Result

-

ChatGPT Result

-

Your question here

Hello, is it possible to show how to solve these 2 problems in the pre midterm lecture tomorrow? image image Thank you in advance!

Jaewookim08 commented 1 month ago

Sure! Feel free to ask us during the one-on-one Q&A session.