Posts tagged “lean”
| Date | Title | Tags |
|---|---|---|
| 2025-07-31 | Summer 2025 REU - Formalization | lean, formalization, linear-algebra |
| 2024-11-25 | Project description for summer 2025 REU | lean, finite-geometry |
| Date | Title | Tags |
|---|---|---|
| 2025-07-31 | Summer 2025 REU - Formalization | lean, formalization, linear-algebra |
| 2024-11-25 | Project description for summer 2025 REU | lean, finite-geometry |