Leosha Trushin

Events

• SF Formal Math with Lean 2026-06-02