week10--formalization.md

---

title: |
 Week10 -- Formalization of Math
author: George McNinch  
date: 2024-03-25

---

assignments

The final homework on error-correcting codes is due Friday:

• [PS05] due [2024-03-29 Fri] [pdf] [solutions] [solutions pdf]

As is your proposal for a final project:

• [final project proposal] due [2024-03-29 Friday]

Notes

Overview of "what is a proof assistant good for?":

• Notes 2024-03-05

Lean via GitPod

See this post for practical information about Lean.

I've created a second github repository to facilitate interaction with Lean code (as discussed here).

• code accompanying intro discussion of Lean

  • [01--overview] https://github.com/gmcninch-tufts/math190formalize/01--overview.lean