Posts tagged “lean”
| Date | Title | Tags |
|---|---|---|
| 2026-05-26 | New Verso blog | computing, lean |
| 2026-05-01 | Tools for courses and CV | computing, lean |
| 2025-07-31 | Summer 2025 REU - Formalization | lean, formalization, linear-algebra |
| 2024-11-25 | Project description for summer 2025 REU | lean, finite-geometry |