Skills

• Visual papers Building an audited, interactive companion website from a LaTeX paper.

• Figures and animations Designing, drawing and animating figures that express or teach a mathematical idea.

• LaTeX writing | Building and polishing a paper Writing research papers in mathematics, from notes to a publication-ready manuscript.

• Lean: Armstrong's method Skills for formalising mathematics in Lean 4 with Codex or Claude Code. By S Armstrong.