Leosha Trushin

Speaking appearances

• SF Formal Math with Lean 2026-06-02 — San Francisco