# Announcements

## Week 13 Announcements

## Week 10 Announcements

## Week 9 Announcements

- Spring Break; No classes this week.

## Week 7 Announcements

## Week 5 Announcements

- HW4 is open for submission on Gradescope.
- The lesson on natural numbers and induction is up.
- The
`Lean`

Lab ðŸ§ª for week 5 is open.

## Week 4 Announcements

- 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

- 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

- 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.

Copyright © 2021-2022 Sina Hazratpour. Distributed by an MIT license.