• Skip to primary navigation
  • Skip to content
  • Skip to footer
Seewoo Lee
  • CV
  • Research
  • Programming
  • Travel
  • Teaching
  • Seminar
  • Blog
  • Miscellaneous

    Tag: formalization

    • (auto)formalization, but why? (21 Sep 2026)
    • Understanding Astra's result on high-dimensional sphere packing — Part 2: Formalization (12 Sep 2026)
    • GitHub
    • Mathstodon
    • LinkedIn
    • Feed
    © 2026 Seewoo Lee. Powered by Jekyll & Minimal Mistakes.