Proof Sketches
Posts
George McNinch

Proof Sketches

2025-07-31Summer 2025 REU on Formalization
2026-05-30MLML
2026-09-15Lean Seminar week 1
2026-09-22Lean Seminar week 2

Tufts Math