What’s new! [new]

November 25, 2025: uploaded a note on sphere packings.

November 18, 2025: uploaded some old mathematical notes. You can see a new section from homepage.

September 14, 2025: uploaded a talk about Lean : Build a reliable math library