CoCalc -- week12--formalization.md

GitHub Repository: gmcninch-tufts/2024-Sp-Math190
Path: blob/main/course-posts/week12--formalization.md
⁸⁹⁸ views

---

title: |
 Week12 -- Formalization of Math (Lean & Type theory)
author: George McNinch  
date: 2024-04-08

---