Week 13 Announcements Apr 19 · This week’s homework is published. The due date is Monday, Apr 25. You should work through the Lean labs 🧪 and 🧪 to solve the homework problems. Week 10 Announcements Mar 28 · This week’s homework is published. The due date is Tuesday, Apr 12. The Lean lab 🧪 for functions is open. Week 9 Announcements Mar 21 · Spring Break; No classes this week. Week 7 Announcements Mar 10 · HW5 is open for submission on Gradescope.The Lean Lab 🧪 for week 8 is open for a sneak preview.👀 Week 5 Announcements Feb 19 · Week 4 Announcements Feb 18 · The homework due date has been extended to Wednesday (Feb 23) in case you need extra time to think about the problems. You can submit your solutions any time before the due date to Gradescope . Summary slides are up.The Lean Lab 🧪 for week 3 is open. The homework is due next Monday (Feb 21). The lectures for Monday and Wednesday class are online . Week 2 Announcements Jan 28 · The second week’s homework are up. The due date is 1:30 pm on Monday, February 14. The second week’s lessons are up. Skim through the first lesson before coming to class on Monday. Week 1 Announcements Jan 24 · The lectures for Monday and Wednesday class are online . The homework is due next Monday. There will be a Lean installation party at the TA section in Kriegr 302 on Friday 1:30-2:20 pm. byoc! (bring your own computer) to the party! There is now a page under each lesson which has the Lean codes of that lecture. The Gradescope space for this course is now live! Game on! Submit there only! No late homework accepted! Tips for solving hw-1 problems.The due date for HW1 is now extended to Wednesday Feb 2 at 1:30 pm.