week14.md

---

title: |
 Week14 & 15
author: George McNinch  
date: 2024-04-22

---

Lean content

• remember that you can find this material via the gitpod

  you can see the files in the course repository Math190formalize

• Sets & subsets

  • 05--sets-and-subsets.lean

  • 05--sets-and-subsets--exercises.lean

• structures & typeclasses

  • 06--structures-classes.lean

  • 06--structures-classes--exercises.lean

  • 07--algebra.lean

type-theory content

• 01 - type families & inference rules

• 02 - Π-types

final project submission

You should submit the report component of your project via gradescope.

Please submit the video component of your project by uploading it to the course box-site; you should have received an invitation to that site on tufts.box.com.

Here is what I would like you to submit to this box folder:

• the video component of your project, in some reasonable video format, Please name the file containing your video using this format

  Jane-Smith-project-video.mkv
  

  (where mkv should be replaced by the correct suffix for you video format, and Jane-Smith should of course be replaced by your name).

• the abstract from your report to the box folder. Use this format for the filename:

  Jane-Smith-project-abstract.pdf
  

summaries

• [2024-05-08] [submit brief summaries of two projects]