Posts tagged “formalization”
| Date | Title | Tags |
|---|---|---|
| 2026-09-10 | Formalization and Lean seminar Fall 2026 | lean, formalization |
| 2025-07-31 | Summer 2025 REU - Formalization | lean, formalization, linear-algebra |
| Date | Title | Tags |
|---|---|---|
| 2026-09-10 | Formalization and Lean seminar Fall 2026 | lean, formalization |
| 2025-07-31 | Summer 2025 REU - Formalization | lean, formalization, linear-algebra |