Postdoc in math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
