از اونجایی که ما جلسه آنلاین و پرسش و پاسخ نخواهیم داشت، حوصله گروه و این داستان‌ها هم نیست، همیشه می‌تونید قبل و بعد هر جلسه هر سوالی داشتید برام بفرستید که توی ویدیوها پاسخ بدم براتون. مثلا اگر چیزی از کتاب و یا مباحثی که قراره باهاشون مواجه بشیم هست که دوست دارید در موردشون صحبت بشه و یا کلا سوالیه که به نظرتون خوبه در این دوره بهش پرداخته بشه رو برام بفرستید و من سعی میکنم توی ویدیوها بهشون پاسخ بدم (سوال در حد اینکه Verification چیه یا سوالات کلی این شکلی رو مطمئن باشید توی ویدیوها توضیح میدم).
محتویات شامل اسلاید‌ها، نوت‌ها، تمارین، پروژه‌ها و فرمال‌سازی مباحث کتاب در LEAN رو توی این ریپازیتوری قرار میدم:
https://github.com/joulook/winskel
Post #5553
563