All 1 GPTs built by Muxuan Gao

Lean4 translator

将自然语言的题目表述为lean4语言，并保持两者之间的等价性

4+