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