Jia Zhi
Verified
💬 10+ Total Chats
🎨 1 GPTs By Jia Zhi
Lean 4 Formalization Helper
Technical assistant for translating IMO problems into Lean 4 code.
💬 10+ Chats
💬 10+ Total Chats
Technical assistant for translating IMO problems into Lean 4 code.
💬 10+ Chats