A list of Lean projects and mathematical articles I wrote.

• Hex theorem and Brouwer theorem in Lean 4: code.